Skip to main content
SpringerLink
Log in

Prädikatenlogik mit partiell definierten Funktionen

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. Church, A.: A note on the Entscheidungsproblem. The J. of Symb. Logic1 (1936), 40–41; Correction ibid. 101–102.

    Google Scholar 

  2. Ebbinghaus, H.-D.: Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Arch. Math. Log.12 (1969), 39–53.

    Google Scholar 

  3. Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann.112 (1935), 493–565. Neudruck Darmstadt 1967.

    Article  Google Scholar 

  4. Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Mh. Math. Phys.37 (1930), 349–360.

    Google Scholar 

  5. Gödel, K.: Über formal unentscheidbare Sätze der Prinzipia Mathematica und verwandter Systeme I. Mh. Math. Phys.38 (1931), 173–198.

    Google Scholar 

  6. Griesel, H.: Gleichungslehre und dreiwertige Logik. Vortrag, Gießen 1969.

    Google Scholar 

  7. Hermes, H.: Einführung in die mathematische Logik. Stuttgart 1963.

  8. Hermes, H.: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin-Göttingen-Heidelberg 1961.

  9. Hermes, H.: Logische Gesichtspunkte bei der Theorie der Gleichungen. Der Mathematikunterr.13 (1967), H. 5, S. 37–43.

    Google Scholar 

  10. Kleene, S. C.: Introduction to Metamathematics. Amsterdam-New York 1952.

  11. Lauter, J.: Aufbau der elementaren Gleichungslehre nach logischen und mengentheoretischen Gesichtspunkten. Der Mathematikunterr.10 (1964), H. 5, S. 59–119.

    Google Scholar 

  12. Pickert, G.: Logische Probleme der Gleichungslehre. Vortrag Freiburg 1968.

    Google Scholar 

  13. Pickert, G.: Vom Umgang mit Termen, Vortrag Gießen 1969.

    Google Scholar 

  14. Wäsche, H.: Logische Begründung der Lehre von Gleichungen und Ungleichungen. Der Mathematikunterr.10 (1964), H. 5, S. 7–58.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Freiburg

    Werner Markwald

Authors
  1. Werner Markwald
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Markwald, W. Prädikatenlogik mit partiell definierten Funktionen. Arch math Logik 14, 10–23 (1971). https://doi.org/10.1007/BF01974146

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01974146

Search

Navigation