TY - BOOK AU - Van Heijenoort, Jean, TI - From frege to godel: A source book in mathematical logic, 1879-1931 AV - BC135 H45 PY - 1967/// CY - Cambridge PB - Harvard University Press KW - Lógica simbólica y matemática ER -