Schnittelimination in einem Teilsystem der einfachen Typenlogik

Archive for Mathematical Logic 12 (3-4):159-178 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969702

Other Versions

No versions found

Links

PhilArchive



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

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

Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion.M. H. Löb - 1968 - Archive for Mathematical Logic 11 (1-2):68-72.
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik.Kurt Schütte - 1964 - Archive for Mathematical Logic 7 (1-2):45-60.
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik.Wilfried Buchholz - 1975 - Archive for Mathematical Logic 17 (1-2):55-60.
Arithmetische Prädikate über einem Bereich endlicher Automaten.Th Ottmann - 1974 - Archive for Mathematical Logic 16 (3-4):159-176.
Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen.D. Rödding - 1968 - Archive for Mathematical Logic 10 (1-2):13-29.
Zu den Primitiv-Rekursiven Funktionen Über Einem Bereich Endlicher Mengen.F. -K. Mahn - 1968 - Archive for Mathematical Logic 10 (1-2):30-33.
Die Bedeutung der Bibel in Goethes Briefen an Zelter.Rudolf Hermann - 1948 - Evangelische Verlagsanstalt.
Religionspsychologische Lernprozesse in der Bibel und im heutigen Unterricht.Alfred Gennrich - 1992 - Archive for the Psychology of Religion 20 (1):124-133.
Anzahlquantoren in der Prädikatenlogik.Dieter Rödding - 1966 - Archive for Mathematical Logic 9 (3-4):66-69.
Charakterisierung der Aufzählungsreduzierbarkeit.Friedrich Hebeisen - 1978 - Archive for Mathematical Logic 19 (1):89-95.

Analytics

Added to PP
2020-12-03

Downloads
2 (#1,898,889)

6 months
2 (#1,700,055)

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

No references found.

Add more references