Herbrand analyzing functions
Burton Dreben and Stål Aanderaa
Source: Bull. Amer. Math. Soc. Volume 70, Number 5
(1964), 697-698.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bams/1183526258
Mathematical Reviews number (MathSciNet): MR0171697
Zentralblatt MATH identifier: 0221.02011
References
1. Burton Dreben, Peter Andrews and Stål Aanderaa, False lemmas in Herbrand, Bull. Amer. Math. Soc. 69 (1963), 699-706.
Zentralblatt MATH: 0126.01006
Mathematical Reviews (MathSciNet): MR152421
Digital Object Identifier: doi:10.1090/S0002-9904-1963-10990-8
Project Euclid: euclid.bams/1183525459
2. John van Heijenoort, Editor, Jacques Herbrand, Ecrits logiques, Presses Universitaires, Paris.
Bulletin of the American Mathematical Society
