TY - BOOK AU - Robinson,Gerson B TI - An introduction to mathematical logic U1 - 511.3 PY - 1969/// CY - Englewood Cliffs, N.J. PB - Prentice-Hall KW - LOGICA SIMBOLICA Y MATEMATICA ER -