No CrossRef data available.
Article contents
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 (1968), S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria (Lund), Bd. 33 (1967), S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 (1967), S. 399–410.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200076921/resource/name/firstPage-S0022481200076921a.jpg)
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1974