TY - BOOK AU - Robison,Gerson B. TI - An introduction to mathematical logic U1 - 164 PY - 1969/// CY - New Jersey PB - Prentice-Hall KW - Logic, Symbolic and mathematical ER -