Home
:
Book details
:
Book description
Description of
From Frege to Gdel: A Source Book in Mathematical Logic, 1879-1931
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory begins the volume, which concludes with papers by Herbrand and by Gdel.