Der prädikatenkalkül mit limitierten variablen grundlegung einer natürlichen exakten logik

Journal of Symbolic Logic 24 (2):112-140 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964755

Links

PhilArchive



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

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

Die Grundlegung einer allgemeinen Theorie der transzendentalen Eigenschaften des Seienden bei F. Suarez.Rolf Darge - 2000 - Zeitschrift für Philosophische Forschung 54 (3):341 - 364.
Absurde Logik. Albert Camus' Grundlegung einer Philosophie des Lebens.Annemarie Pieper - 1974 - Zeitschrift für Philosophische Forschung 28 (3):424 - 433.
Perspektiven einer Wissenschaftsethik im Dialog mit Francis Bacon.Felix Hammer - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (1):1-15.
Die Möglichkeit einer operativen Begründung der exakten Wissenschaft.Wilhelm Krampt - 1971 - Zeitschrift für Philosophische Forschung 25 (4):485 - 499.
Überprüfung einer frühen anwendung der kombinatorik in der logik.Kurt-R. Biermann & Jürgen Mau - 1958 - Journal of Symbolic Logic 23 (2):129-132.
Wissenschaftstheorie in den Niederlanden.C. A. Peursen & R. J. A. Dijk - 1972 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 3 (2):372-379.

Analytics

Added to PP
2009-01-28

Downloads
19 (#802,294)

6 months
5 (#646,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.

Add more citations

References found in this work

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Introduction to Logical Theory.Arthur Smullyan - 1954 - Philosophical Review 63 (1):117.
Methods of Logic.A. R. Turquette & Willard Van Orman Quine - 1951 - Journal of Symbolic Logic 16 (4):268.
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.

View all 7 references / Add more references