Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 

 

False lemmas in Herbrand


Authors: Burton Dreben, Peter Andrews and Stål Aanderaa
Journal: Bull. Amer. Math. Soc. 69 (1963), 699-706
DOI: https://doi.org/10.1090/S0002-9904-1963-10990-8
MathSciNet review: 0152421
Full-text PDF Free Access

References | Additional Information

References [Enhancements On Off] (What's this?)

  • 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).
  • 3. Jacques Herbrand, Écrits logiques, 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, Presses Universitaires de France, Paris, 1968 (French). MR 0224425


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1963-10990-8