Zur Stufenreduktion von Kalkülen

  • Herbert Fiedler
Article
  • 15 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Curry, H. B., Calcules and Formal Systems. In:Logica (Festschrift für P. Bernays), S. 45, Neuchâtel 1959.Google Scholar
  2. [2]
    Hermes, H., Einführung in die operative Logik. Vorlesungsausarbeitung, Münster i. W. 1956.Google Scholar
  3. [3]
    Hermes, H., Zum Inversionsprinzip der operativen Logik. In:Constructivity in Mathematics (Proceedings of the Colloquium held at Amsterdam, 1957), S. 62, Amsterdam 1959.Google Scholar
  4. [4]
    Lorenzen, P., Einführung in die operative Logik und Mathematik. Berlin 1955.Google Scholar
  5. [5]
    Post, E. L., Formal Reductions of the General Combinatorial Decision Problem.Amer. J. Math., Bd. 65, S. 197 (1943).Google Scholar
  6. [6]
    Post, E. L., Recursively Enumerable Sets of Positive Integers and their Decision Problem.Bull. Amer. Math. Soc., Bd. 50, S. 284 (1944).Google Scholar
  7. [7]
    Rosenbloom, P. C., The Elements of Mathematical Logic. New York 1950.Google Scholar

Copyright information

© W. Kohlhammer Verlag 1965

Authors and Affiliations

  • Herbert Fiedler
    • 1
  1. 1.Köln

Personalised recommendations