From Frege to Gödel : a source book in mathematical logic, 1879-1931 /
Van Heijenoort, Jean.
Cambridge, Mass. ; London : Harvard University Press,
[2002], c1967.
Originally published: 1967.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.