Introduction to symbolic logic - Pollock J L (New York Holt,Rinehart & Winston, 1969)
Keywords: Mathematical Logic; Symbolic