Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

Archive for Mathematical Logic 12 (1-2):39-53 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01982047

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 39–53. [REVIEW]John Corcoran & John Herring - 1972 - Journal of Symbolic Logic 37 (3):617-618.
Prädikatenlogik mit partiell definierten Funktionen II.Werner Markwald - 1974 - Archive for Mathematical Logic 16 (1-2):15-22.
Prädikatenlogik mit partiell definierten Funktionen.Werner Markwald - 1971 - Archive for Mathematical Logic 14 (1-2):10-23.
Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe.Michael Deutsch - 1975 - Archive for Mathematical Logic 17 (1-2):9-16.
Eine Bemerkung über quasirekursioe Funktionen.K. Schütte - 1951 - Archive for Mathematical Logic 1 (2):63.
Über die mit Stackautomaten berechenbaren Funktionen.Horst Müller - 1970 - Archive for Mathematical Logic 13 (1-2):60-73.
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.Martin Wirsing - 1978 - Archive for Mathematical Logic 19 (1):97-109.
Heinz-Dieter Ebbinghaus. Zermelo: definiteness and the universe of definable sets. History and philosophy of logic, vol. 24 , pp. 197–219. - Heinz-Dieter Ebbinghaus. Zermelo in the mirror of the Baer correspondence, 1930-1931. Historia mathematica, vol. 31 , pp. 76–86. [REVIEW]R. Gregory Taylor - 2004 - Bulletin of Symbolic Logic 10 (4):590-592.
Ebbinghaus Heinz-Dieter and Jörg Flum. Finite model theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1995, xv + 327 pp. [REVIEW]G. L. McColm - 1996 - Journal of Symbolic Logic 61 (3):1049-1050.
Heinz-Dieter Ebbinghaus. Zermelo and the Skolem Paradox.Dirk Van Dalen - 2000 - Bulletin of Symbolic Logic 1 (2):145-161.

Analytics

Added to PP
2020-12-03

Downloads
6 (#1,701,486)

6 months
1 (#1,892,942)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
Strict Fregean free logic.Scott Lehmann - 1994 - Journal of Philosophical Logic 23 (3):307--336.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references