Sommaire

Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.

Ackermann, Wilhelm

Access to full text
p. 3-26

Göttinger Digitalisierungszentrum
Die Anwendung eines Einfachheitsprinzips auf die Wahrscheinlichkeitstheorie.

Kiesow, Horst

Access to full text
p. 27-41

Göttinger Digitalisierungszentrum
Ein logischer Habakus.

Behmann, Heinrich

Access to full text
p. 42-52

Göttinger Digitalisierungszentrum
Varianten von Turingmaschinen.

Oberschelp, Walter

Access to full text
p. 53-64

Göttinger Digitalisierungszentrum
The axiom of Fundierung and the axiom of choice.

Mendelson, Elliott

Access to full text
p. 65-70

Göttinger Digitalisierungszentrum
Über Interpretationen der Prädikatenkalküle höherer Stufe.

Hasenjaeger, G.

Access to full text
p. 71-80

Göttinger Digitalisierungszentrum
Natürliche Zahlen, Ordnung, Nachfolge.

Schmidt, J. ; Felscher, W.

Access to full text
p. 81-94

Göttinger Digitalisierungszentrum
Über die Axiome produkt-abgeschlossener arithmetischer Klassen.

Oberschelp, Arnold

Access to full text
p. 95-123

Göttinger Digitalisierungszentrum
Einige Bemerkungen zur Grundlegung der Wahrscheinlichkeitstheorie in elementaren Sprachen.

Kiesow, Horst

Access to full text
p. 124-127

Göttinger Digitalisierungszentrum