Provability in Elementary Type Theory
- 1 January 1974
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 20 (25-27) , 411-418
- https://doi.org/10.1002/malq.19740202506
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Resolution and the consistency of analysis.Notre Dame Journal of Formal Logic, 1974
- The undecidability of unification in third order logicInformation and Control, 1973
- General models and extensionalityThe Journal of Symbolic Logic, 1972
- General models, descriptions, and choice in type theoryThe Journal of Symbolic Logic, 1972
- Resolution in type theoryThe Journal of Symbolic Logic, 1971
- A variant of a recursively unsolvable problemBulletin of the American Mathematical Society, 1946
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940