From frege to gödel: a source book in mathematical logic, 1879–1931
Auteur :
van Heijenoort, Jean
Éditeur :
Harvard University Press
ISBN :
9780674324497
Date de publication :
15 janv. 2002
Dimensions :
25,4 x 16,5 cm
Poids :
1084 g
Langue :
Anglais
Pays d'origine :
USA
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.