Arjun Srivastava's Library

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
Jean van Heijenoort
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by ...