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

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. John van Heijenoort, Editor, Jacques Herbrand, Écrits Logiques, Presses Universitaires, Paris (to appear) MR 224425


Additional Information

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

American Mathematical Society