From Frege to Goedel
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 Goedel.