TY  - BOOK
AU  - Heijenoort Lean Van
TI  - From frege to godel: a source bool in mathematical logic
U1  - B:RvN31<-M79, K7 
PY  - 1967///
ER  -