Bulletin of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1936-881X(e) ISSN 0002-9904(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues: 1891 - Present Previous Article \| Next Article

A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic

Author(s): W. W. Tait
Journal: Bull. Amer. Math. Soc. 72 (1966), 980-983.
MathSciNet review: 0205829
Retrieve article in: PDF

1.: L. Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 89-91. MR 36188
2.: K. Schütte, Properties of simple type theory, J. Symb. Logic 25 (1960), 305-326. MR 144813
3.: G. Takeuti, On a generalized logical calculus, Japan. J. Math. 23 (1953), 39-96. MR 75160

Additional Information:

DOI: 10.1090/S0002-9904-1966-11611-7
PII: S 0002-9904(1966)11611-7


	Comments: webmaster@ams.org © Copyright 2009, American Mathematical Society Privacy Statement		Search the AMS