Loading [MathJax]/extensions/MathZoom.js

Sommaire

Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.

Flum, Jörg

Access to full text
p. 3-9

Göttinger Digitalisierungszentrum
Prädikatenlogik mit partiell definierten Funktionen.

Markwald, Werner

Access to full text
p. 10-23

Göttinger Digitalisierungszentrum
Über die Bestimmbarkeit des Verhaltens von Algorithmen.

Döpp, Klemens

Access to full text
p. 12-35

Göttinger Digitalisierungszentrum
Ganzgeschlossene und prädikatgeschlossene Logiken I.

Flum, Jörg

Access to full text
p. 24-37

Göttinger Digitalisierungszentrum
Über Darstellungen der elementaren Funktionen II.

Rödding, Dieter

Access to full text
p. 36-48

Göttinger Digitalisierungszentrum
Mehrsortige logische Systeme mit unendlich langen Formeln I.

Carstengerdes, Werner

Access to full text
p. 38-53

Göttinger Digitalisierungszentrum
A universal two-way automation.

Kreider, D.L. ; Ritchie, R.W.

Access to full text
p. 49-58

Göttinger Digitalisierungszentrum
Komplexität von Algorithmen mit Anwendung auf die Analysis.

Schnorr, Claus-Peter

Access to full text
p. 54-68

Göttinger Digitalisierungszentrum
Eine Anmerkung zu Gödels Komprehensionstheorem.

Wette, Eduard

Access to full text
p. 59-65

Göttinger Digitalisierungszentrum
Anzahlquantoren in der Prädikatenlogik

Rödding, Dieter

Access to full text
p. 66-69

Göttinger Digitalisierungszentrum
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.

Schütte, Kurt ; Diller, Justus

Access to full text
p. 69-74

Göttinger Digitalisierungszentrum
Protologische Untersuchugen I: ein allgemeiner Rahmen für naturgemässe Deduktion.

Schmidt, H. Arnold

Access to full text
p. 70-94

Göttinger Digitalisierungszentrum
A characterization of Takeuti's ordinal diagrams of finite order.

Schütte, Kurt ; Levitz, Hilbert

Access to full text
p. 75-98

Göttinger Digitalisierungszentrum
Non-Uniqueness at ... in Kleene's O.

Schütte, Kurt ; Crossley, John N.

Access to full text
p. 95-101

Göttinger Digitalisierungszentrum
Ganzgeschlossene und prädikatgeschlossene Logiken II.

Flum, Jörg

Access to full text
p. 99-107

Göttinger Digitalisierungszentrum
Freges Begründung der Analysis.

Kutschera, Franz v.

Access to full text
p. 102-111

Göttinger Digitalisierungszentrum
Mehrsortige logische Systeme mit unendlich langen Formeln II.

Carstengerdes, Werner

Access to full text
p. 108-126

Göttinger Digitalisierungszentrum
Constructive order types, III.

Crossley, John N. ; Aczel, P.H.G.

Access to full text
p. 112-116

Göttinger Digitalisierungszentrum
Stackautomaten in Labyrinthen.

Müller, Horst

Access to full text
p. 127-134

Göttinger Digitalisierungszentrum
Die Problematik apriorischer Wahrscheinlichkeiten im System der induktiven Logik von Rudolf Carnap.

Humburg, Jürgen

Access to full text
p. 135-147

Göttinger Digitalisierungszentrum
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.

Klemke, Dieter

Access to full text
p. 148-161

Göttinger Digitalisierungszentrum
A finitely Axiomatizable complete theory with atomless F1 (T).

Ehrenfeucht, A. ; Fuhrken

Access to full text
p. 162-166

Göttinger Digitalisierungszentrum
Synthetic compontents of infinite classes of postulates.

Tichy, Pavel

Access to full text
p. 167-178

Göttinger Digitalisierungszentrum
On models with large automorphism groups.

Ebbinghaus, H.-D.

Access to full text
p. 179-197

Göttinger Digitalisierungszentrum
Hierarchies of number - theoretic functions I, II: a correction.

Löb, M.H. ; Wainer, S.S.

Access to full text
p. 198-200

Göttinger Digitalisierungszentrum