Sommaire

Über Einfachheitsprinzipien in der Wahrscheinlichkeitstheorie I.

Oberschelp, Walter

Access to full text
p. 3-25

Göttinger Digitalisierungszentrum
Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen.

Oberschelp, Arnold

Access to full text
p. 26-36

Göttinger Digitalisierungszentrum
Representability of recursively enumerable sets in formal theories.

Ehrenfeucht, A. ; Feferman, S.

Access to full text
p. 37-41

Göttinger Digitalisierungszentrum
Number theoretic concepts and recursive well-orderings.

Kreisel, G. ; Shoenfield, J.

Access to full text
p. 42-64

Göttinger Digitalisierungszentrum
Das Vereinfachungsproblem für aussagenlogische Normalformen.

Behmann, Heinrich

Access to full text
p. 65-89

Göttinger Digitalisierungszentrum
On the universal completeness of classes of relational systems.

Ribeiro, Hugo

Access to full text
p. 90-95

Göttinger Digitalisierungszentrum
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.

Ackermann, Wilhelm

Access to full text
p. 96-111

Göttinger Digitalisierungszentrum
Über die Unentscheidbarkeit gewisser Axiomenmengen.

Oberschelp, Arnold

Access to full text
p. 112

Göttinger Digitalisierungszentrum
Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.

Schütte, Kurt

Access to full text
p. 113-118

Göttinger Digitalisierungszentrum
Representability of recursively enumerable sets in formal theories.

Shepherdson, J.C.

Access to full text
p. 119-127

Göttinger Digitalisierungszentrum