Sommaire

Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.

Kutschera, Franz v.

Access to full text
p. 3-16

Göttinger Digitalisierungszentrum
Eine Art von Gleichwertigkeit zahlentheoretischer und mengentheoretischer Axiomensysteme.

Rödding, Walburga

Access to full text
p. 17-31

Göttinger Digitalisierungszentrum
Dialogspiele als semantische Grundlage von Logikkalkülen.

Lorenz, Kuno

Access to full text
p. 32-55

Göttinger Digitalisierungszentrum
Quasideduktive Systeme und S-Algebren.

Bammert, Joachim

Access to full text
p. 56-67

Göttinger Digitalisierungszentrum
Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.

Löb, M.H.

Access to full text
p. 68-72

Göttinger Digitalisierungszentrum
Dialogspiele als semantische Grundlage von Logikkalkülen. II. Die Rolle der Logikkalküle in der Theorie der Dialogspiele.

Lorenz, Kuno

Access to full text
p. 73-100

Göttinger Digitalisierungszentrum
Quasideduktive Systeme und S-Algebren.II.

Bammert, Joachim

Access to full text
p. 101-112

Göttinger Digitalisierungszentrum
Semi-effective numberings and definitions of the computable numbers.

Mayoh, B.H.

Access to full text
p. 113-125

Göttinger Digitalisierungszentrum
Ein konstruktives System von Ordinalzahlen.

Schütte, Kurt

Access to full text
p. 126-137

Göttinger Digitalisierungszentrum