TY - BOOK AU - Lightstone,A.H. TI - The axiomatic method: an introduction to mathematical logic U1 - 164 PY - 1964/// CY - New Jersey PB - Prentice-Hall KW - Logic, Symbolic and mathematical KW - Axioms KW - Mathematics KW - Philosophy ER -