TY  - BOOK
AU  - Rosser, J. Barkley
TI  - Logic for mathematicians
SN  - 9780486468983
U1  -  511.3 
PY  - 1978///
CY  - Mineola,USA
PB  - Dover Publications
ER  -