You are about to access our book library "From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 full version" .