Robison, Gerson B. An introduction to mathematical logic / Robison, Gerson B. - London Prentice-Hall inc. 1969 Subjects--Topical Terms: Methametics Dewey Class. No.: 510 / ROB