Der Interpolationssatz der intuitionistischen Prädikatenlogik
- 1 June 1962
- journal article
- research article
- Published by Springer Nature in Mathematische Annalen
- Vol. 148 (3), 192-200
- https://doi.org/10.1007/bf01470747
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A formal system of first-order predicate calculus with infinitely long expressionsJournal of the Mathematical Society of Japan, 1961
- Mathematische Gesetze der Logik IPublished by Springer Nature ,1960
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950