Zur Axiomatisierung derk-zahlig allgemeingültigen Ausdrücke des Stufenkalküls

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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,261

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

Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Mathematical Logic Quarterly 4 (12‐16):175-177.
Axiomatisierung der K-zahlig Allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (2):176-176.
Axiomatisierung zwischen Platon und Aristoteles.Michael Hoffmann - 2004 - Zeitschrift für Philosophische Forschung 58 (2):224 - 245.
Chinese Ideas About Nature and Society: Studies in Honour of Derk Bodde.Charles and Susan Blader Le Blanc (ed.) - 1987 - Columbia University Press.
Das Problem der allgemeingültigen Ethik.Ulrich Lück - 1977 - Revista Portuguesa de Filosofia 33 (2):256-256.
Critical Notice: Consciousness and the Prospects of Physicalism, by Derk Pereboom.Derek Ball - 2014 - Analytic Philosophy 55 (1):118-129.
A Short History of Chinese Philosophy Edited by Derk Bodde.Yu-lan Feng & Derk Bodde - 1967 - Free Press.
Manipulation Arguments, Basic Desert, and Moral Responsibility: Assessing Derk Pereboom’s Free Will, Agency, and Meaning in Life.Michael McKenna - 2017 - Criminal Law and Philosophy 11 (3):575-589.
Axiomatisierung der Fregeschen Aussagenkalkule.Karl Schroter - 1944 - Journal of Symbolic Logic 9 (3):69-69.
Axiomatisierung Einiger Begriffe aus Nelson Goodmans.Alfred Breitkopf - 1978 - Erkenntnis 12 (2):229 - 247.
Eine Axiomatisierung der Allgemeinen Mechanik.Hans Hermes - 1938 - Journal of Symbolic Logic 3 (3):119-120.
Ausdrücke des Bauernlateins.H. Jordan - 1873 - Hermes 7 (2):193-212.
Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.
Free Will, Agency, and Meaning in Life.Derk Pereboom - 2014 - New York: Oxford University Press.
Axiomatisierung einiger Begriffe aus Nelson Goodmans The Structure of Appearance.Alfred Breitkopf - 1978 - Erkenntnis 12:229.

Analytics

Added to PP
2016-02-04

Downloads
22 (#712,914)

6 months
1 (#1,478,781)

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