Durch syntaktische rekursion definierte Klassen

Mathematical Logic Quarterly 29 (3):169-175 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19830290306

Other Versions

No versions found

Links

PhilArchive



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

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

Hans Kleine Buning and Theodor Lettmann, propositional logic: Deduction and algorithms.Anthony Hunter - 2002 - Studia Logica 71 (2):247-258.
Hans Kleine Buning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms. [REVIEW]Hans Kleine Buning & Theodor Lettmann - 2002 - Studia Logica 71 (2):247-258.
Funktional‐Rekursion.Jürgen Hauck - 1972 - Mathematical Logic Quarterly 18 (1-3):31-36.
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.Martin Wirsing - 1978 - Archive for Mathematical Logic 19 (1):97-109.
Zur Mengenlehre Über Klassen.Ulf Friedrichsdorf - 1979 - Mathematical Logic Quarterly 25 (19‐24):379-383.
Sequenzen von Klassen und Individuen.Peter Teleč & Martin Kühnrich - 1982 - Mathematical Logic Quarterly 28 (22‐24):337-344.
Das Zornsche Lemma für Klassen.Isidore Fleischer - 1973 - Mathematical Logic Quarterly 19 (13):205-206.
Zur Strukturgleichheit Axiomatischer Klassen.Hans-Jürgen Hoehnke - 1966 - Mathematical Logic Quarterly 12 (1):69-83.
Die Unentscheidbarkeit Der Grzegorczyk‐Klassen.Klemens Döpp - 1967 - Mathematical Logic Quarterly 13 (6):89-94.
Verwandte Sätze Zum Auswahlaxiom Für Klassen.Dieter Klaua - 1965 - Mathematical Logic Quarterly 11 (1):75-80.

Analytics

Added to PP
2013-12-01

Downloads
13 (#1,321,788)

6 months
7 (#706,906)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.

Add more references