TY - BOOK AU - Lightstone, A.H. TI - Axiomatic method: an introduction to mathematical logic U1 - 511.3 PY - 1964/// CY - Englewood Cliffs PB - Prentic-Hall Inc. ER -