TY  - BOOK
TI  - What is mathematical logic?
SN  - 0-48626404-1
PY  - 1990///
CY  - New York
PB  - Dover Publications
KW  - Logic, symbolic and mathematical
ER  -