Literatur
Beth, E. W.: On Padoa's method in the theory of definition. Koninkl. Ned. Akad. Wetenschap. Ser. A,56, 330–339 (1953).
Craig, W.: Linear reasoning. A new form of the Herbrand-Gentzen theorem. J. Symbolic Logic22, 250–268 (1957).
Cfaig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symbolic Logic22, 269–285 (1957).
Maehara, S., andG. Takeuti: A formal system of first-order predicate calculus with infinitely long expressions. J. Math. Soc. Japan13, 357–370 (1961).
Schmidt, H. Arnold: Mathematische Gesetze der Logik I. Vorlesungen über Aussagenlogik. Berlin-Göttingen-Heidelberg: Springer 1960.
Schütte, K.: Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann.122, 47–65 (1950).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schütte, K. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Math. Ann. 148, 192–200 (1962). https://doi.org/10.1007/BF01470747
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01470747