TY  - GEN
AU  - Rosser, J.B
TI  - Logic for mathematicians
PY  - 1953///
CY  - 
PB  - McGraw-Hill
ER  -