Vollständigkeit im Stufenkalkül

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19570031303

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

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

Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.
Review: Wolfram Schwabhauser, Zur Definition des Geordneten Paares im Einstelligen Stufenkalkul. [REVIEW]William Craig - 1956 - Journal of Symbolic Logic 21 (1):87-87.
25. Korrektheit und Vollständigkeit von AK.Ansgar Beckermann - 2014 - In Einführung in Die Logik. De Gruyter. pp. 305-319.
26. Korrektheit und Vollständigkeit von PK.Ansgar Beckermann - 2014 - In Einführung in Die Logik. De Gruyter. pp. 319-337.
Vollständigkeit der nichttraditionellen Prädikationstheorie.Horst Wessel - 1982 - Deutsche Zeitschrift für Philosophie 30 (11):1363.
27. Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL.Ansgar Beckermann - 2014 - In Einführung in Die Logik. De Gruyter. pp. 337-349.
Die vollständigkeit der kantischen urteilstafel..Klaus Reich - 1932 - Berlin,: R. Schoetz.
Die Vollständigkeit der kantischen Urteilstafel. [REVIEW]Martin Bondeli - 1997 - Zeitschrift für Philosophische Forschung 51 (2).
Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten.Dag Prawitz - 1982 - Conceptus: Zeitschrift Fur Philosophie 16 (38):31-44.
Die Gegebenheit und Vollständigkeit a priori der Kantischen Urteilstafel.Hilmar Lorenz - 1997 - Kant Studien 88 (4):386-405.
Über die Vollständigkeit des Logikkalküls.Stefan Bauer-Mengelberg - 1990 - Journal of Symbolic Logic 55 (1):341-342.
Ein neuer beweis für die vollständigkeit eines vielwertigen systems Des aussagenkalküls.G. Bryll - 1966 - Studia Logica 19 (1):115-115.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Mathematical Logic Quarterly 5 (7‐13):132-205.
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
Reich, Klaus, Die Vollständigkeit der Kantischen Urteilstafel. [REVIEW]Anneliese Maier - 1934 - Société Française de Philosophie, Bulletin 39:83.

Analytics

Added to PP
2016-02-04

Downloads
21 (#676,185)

6 months
1 (#1,346,405)

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

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Some notes on nominalism.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):19-29.
Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.

Add more references