TY  - BOOK
AU  - Heijenoort,Jean Van, x
AU  - x
TI  - Rom Frege to godel: source book of mathematical logic, 1879-1931
SN  - x
U1  - RB511.3/H465r 
PY  - 1967///
CY  - Cambridge
PB  - Harvard University Press
KW  - Mathematical Logic
KW  - Symbolic Logic
N1  - Includes
ER  -