Eine Termlogik mit Auswahloperator

Springer (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

3540033505   3540048995

DOI

10.2307/2270702
View all bargains

Buy this book

Links

PhilArchive



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

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

Eine Termlogik mit Auswahloperator. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):589-589.
Logik und Existenz.Albert Menne - 1954 - Meisenheim/Glan,: Westkulturverlag A. Hain.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Introduction to mathematical logic.Hans Hermes - 1973 - New York,: Springer Verlag.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Einführung in die mathematische Logik: Klassische Prädikatenlogik.Hans Hermes - 1963 - Stuttgart,: Teubner.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Wahrscheinlichkeitslehre. Eine Untersuchung über die Logischen und Mathematischen Grundlagen der Wahrscheinlichkeitsrechnung. [REVIEW]E. N. - 1935 - Journal of Philosophy 32 (14):389-392.
Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
An outline of mathematical logic: fundamental results and notions explained with all details.Andrzej Grzegorczyk - 1974 - Boston: D. Reidel Pub. Co..

Analytics

Added to PP
2015-02-03

Downloads
9 (#1,187,161)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.

Add more citations

References found in this work

No references found.

Add more references