Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls

Mathematical Logic Quarterly 4 (12‐16):175-177 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19580041203

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hasenjaeger Gisbert. Zur Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 175–177. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):176-177.
Axiomatisierung der K-zahlig Allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (2):176-176.
Zur Axiomatisierung derk-zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):175-177.
Asser Günter and Schröter Karl. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 , pp. 73–86. [REVIEW]Theodore Hailperin - 1960 - Journal of Symbolic Logic 25 (2):176-176.
Zur Axiomatisierung Der Nicht‐Identitäten Des Aussagenkalküls.Klaus Härtig - 1960 - Mathematical Logic Quarterly 6 (15-22):240-247.
Review: Gisbert Hasenjaeger, Uber Eine Art von Unvollstandigkeit des Pradikatenkalkuls der Ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle.Gönter Asser & Wolfgang Rautenberg - 1960 - Mathematical Logic Quarterly 6 (15-22):303-318.
Hasenjaeger Gisbert. Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle.Gönter Asser & Wolfgang Rautenberg - 1960 - Mathematical Logic Quarterly 6 (15‐22):303-318.
Review: Heinrich Scholz, Gisbert Hasenjaeger, Grundzuge der Mathematischen Logik. [REVIEW]Gert Heinz Müller - 1963 - Journal of Symbolic Logic 28 (3):245-249.

Analytics

Added to PP
2013-11-24

Downloads
5 (#1,560,957)

6 months
1 (#1,515,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

Add more references