Herbrand analyzing functions
HTML articles powered by AMS MathViewer
- by Burton Dreben and Stål Aanderaa PDF
- Bull. Amer. Math. Soc. 70 (1964), 697-698
References
- Burton Dreben, Peter Andrews, and Stȧl Aanderaa, False lemmas in Herbrand, Bull. Amer. Math. Soc. 69 (1963), 699–706. MR 152421, DOI 10.1090/S0002-9904-1963-10990-8 2. John van Heijenoort, Editor, Jacques Herbrand, Ecrits logiques, Presses Universitaires, Paris.
Additional Information
- Journal: Bull. Amer. Math. Soc. 70 (1964), 697-698
- DOI: https://doi.org/10.1090/S0002-9904-1964-11169-1
- MathSciNet review: 0171697