False lemmas in Herbrand
HTML articles powered by AMS MathViewer
- by Burton Dreben, Peter Andrews and Stål Aanderaa PDF
- Bull. Amer. Math. Soc. 69 (1963), 699-706
References
-
1. Jacques Herbrand, Recherches sur la théorie de la démonstration, Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III sciences mathématiques et physiques, no. 33 (1930).
2. Jacques Herbrand, Sur le problème fondamental de la logique mathématique, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III sciences mathématiques et physiques, no. 24 (1931).
- Jacques Herbrand, Écrits logiques, Presses Universitaires de France, Paris, 1968 (French). Avec une préface de Jean van Heijenoort, une notice biographique par Claude Chevalley et Albert Lautmann, et une note sur la pensée de Herbrand par Claude Chevalley. MR 0224425
Additional Information
- Journal: Bull. Amer. Math. Soc. 69 (1963), 699-706
- DOI: https://doi.org/10.1090/S0002-9904-1963-10990-8
- MathSciNet review: 0152421