From Frege to Gödel

A Source Book in Mathematical Logic, 1879-1931

By

Jean Van Heijenoort