Logic and proof - Bittinger Marvin L (1970)
Keywords: PHILOSOPHY