TY  - GEN
AU  - Robison, Gerson B.
TI  - An introduction to mathematical logic
U1  - 510 
PY  - 1969///
CY  - London
PB  - Prentice-Hall inc.
KW  - Methametics
ER  -