TY  - BOOK
AU  - Rosenbloom, Paul C.
TI  - The elements of mathematical logic
T2  - The Dover series in mathematics and physics
AV  - BC135 .R55
U1  - 510.1 
PY  - 1950///
CY  - New York]
PB  - Dover Publications
KW  - Logic, Symbolic and mathematical
N1  - "Bibliographical and other remarks": p. 194-208
ER  -