Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der Rekursiven Funktionen

Journal of Symbolic Logic 31 (2):254-254 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269817

Links

PhilArchive



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

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

H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.Oskar Becker - 1962 - Philosophische Rundschau 10:151.
Prädikatenlogik und theorie der rekursiven funktionen.Hans Hermes - 1968 - In Raymond Klibansky (ed.), Contemporary Philosophy. Firenze, la Nuova Italia. pp. 1--254.
Graphschemata und rekursive funktionen.von Rózsa Péter - 1958 - Dialectica 12 (3‐4):373-393.
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.Michael Deutsch - 1980 - Mathematical Logic Quarterly 26 (1‐6):1-32.
Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.
Einführung in die Grundlagen der Mathematik: Theorie der Berechenbarkeit, mathematische Logik, Mengenlehre.Michael Deutsch - 1999 - Universitatsdruckerei Bremen.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv‐rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
Eine Klassifikation der ε0‐Rekursiven Funktionen.Helmut Schwichtenberg - 1971 - Mathematical Logic Quarterly 17 (1):61-74.
Eine Charakterisierung der Rekursiven Funktionen mit Endlichen Niveaumengen ().Gerhard Lischke - 1974 - Mathematical Logic Quarterly 20 (30):465-472.
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32‐33):523-528.
Eine Rekursive Universelle Funktion Für Die Primitiv‐Rekursiven Funktionen.Hilbert Levitz & Warren Nichols - 1987 - Mathematical Logic Quarterly 33 (6):527-535.
Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor.Heinrich Herre & Helmut Wolter - 1979 - Mathematical Logic Quarterly 25 (19‐24):345-358.
Logische Funktionen und logische Fähigkeiten in der Kantischen Theorie der Urteilsfunktionen und in der Junktorenlogik.Rainer Enskat - 1986 - Kant Studien 77 (1-4):224-240.
Hans Jörg Sandkühler, Kritik der Repräsentation. Einführung in die Theorie der Überzeugungen, der Wissenskulturen und des Wissens.Ferdinando Vidoni - 2010 - Rivista di Storia Della Filosofia 65 (3):613.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,534,306)

6 months
2 (#1,187,206)

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