TY  - BOOK
AU  - ROSSER, J. Barkley
TI  - Logic for mathematicians
U1  - 510 R88L 
PY  - 1953///
PB  - N.Y.
KW  - MATHEMATICS -- PHILOSOPHY
KW  - LOGIC SYMBOLIC & MATHEMATICAL
ER  -