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 Gödel.