TY  - BOOK
AU  - Bochenski,Joseph M.
TI  - A precis of mathematical logic
T2  - Synthese library
U1  - 164 
PY  - 1959///
CY  - Dordrecht ; Holland
PB  - D. Reidel Pub. Co.
KW  - Logic, Symbolic and mathematical
N1  - Include bibliography
ER  -