TY - BOOK AU - Heijenoort, Jean Van TI - From frege to godel: a source book in mathemical logic, 1879-1931: Jean Van Heijenoort U1 - 517.11 PY - 1962/// CY - Cambridge PB - Harvard University Press KW - Logic Symbolic and Mathematical KW - Set Theory KW - Mathematics ER -