Literatur
Church, A.: A note on the Entscheidungsproblem. J. symb. logic1 (1936), 40–41.
—: Correction to a note on the Entscheidungsproblem. Ibid., 101–102.
Gödel, K.: über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte Math. u. Phys.38 (1931), 173–198.
Hermes, H.: Zum Begriff der Axiomatisierbarkeit. Math. Nachr.4 (1950/51), 343–347.
Hiż, H.: Extendible sentential calculus. J. symb. logic24 (1959), 193–202.
Janiczak, A.: A remark concerning decidability of complete theories. J. symb. logic15 (1950), 277–279.
Kleene, S. C. und Vesley, R. E.: The foundations of intuitionistic mathematics. Amsterdam 1965.
Luckhardt, H.: Aussagenlogisch fundierte Theorien. Archiv f. math. Logik u. Grundlagenforschg. 10.
Rosser, B.: Extensions of some theorems of Gödel and Church. J. symb. logic1 (1936), 87–91.
Schmidt, H. Arnold: Mathematische Grundlagenforschung. Enzyklop. d. math. Wissensch., neue Aufl., I/1, Heft 1, Teil II (1948).
—: Mathematische Gesetze der Logik. Springer 1960.
Schütte, K.: Schlu\weisen-Kalküle der Prädikatenlogik. Math. Annalen122 (1950), 47–65.
—: Beweistheorie. Springer 1960.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Luckhardt, H. Kodifikation und Aussagenlogik. Arch math Logik 12, 18–38 (1969). https://doi.org/10.1007/BF01982046
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01982046