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

Publisher Website

1 January 1966

journal article
Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society

Vol. 72 (6) , 980-983
https://doi.org/10.1090/s0002-9904-1966-11611-7

Abstract

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

Keywords

This publication has 3 references indexed in Scilit:

Syntactical and semantical properties of simple type theory
The Journal of Symbolic Logic, 1960
On a generalized logic calculus
Japanese journal of mathematics :transactions and abstracts, 1953
Completeness in the theory of types
The Journal of Symbolic Logic, 1950