From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931