Prädikatenlogik mit partiell definierten Funktionen II

Archive for Mathematical Logic 16 (1-2):15-22 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02025115

Other Versions

No versions found

Links

PhilArchive



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

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

Prädikatenlogik mit partiell definierten Funktionen.Werner Markwald - 1971 - Archive for Mathematical Logic 14 (1-2):10-23.
Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen.Heinz-Dieter Ebbinghaus - 1969 - Archive for Mathematical Logic 12 (1-2):39-53.
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.
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.Martin Wirsing - 1978 - Archive for Mathematical Logic 19 (1):97-109.
Über die mit Stackautomaten berechenbaren Funktionen.Horst Müller - 1970 - Archive for Mathematical Logic 13 (1-2):60-73.
Definierbare Funktionen imλ-Kalkül mit Typen.Helmut Schwichtenberg - 1975 - Archive for Mathematical Logic 17 (3-4):113-114.
Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar.Heinrich Beck - 1975 - Archive for Mathematical Logic 17 (3-4):115-128.
Über Darstellungen der Elementaren Funktionen II.Dieter Rödding - 1966 - Archive for Mathematical Logic 9 (1-2):36-48.
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32‐33):523-528.
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32-33):523-528.

Analytics

Added to PP
2020-12-03

Downloads
2 (#1,896,584)

6 months
2 (#1,690,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references