TY - BOOK AU - Suppes, P. TI - Introduction to logic U1 - 511.3 PY - 1957/// PB - A.E.W.P. KW - MATHS ER -