Sommaire

Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke.

Döpp, Klemens

Access to full text
p. 3-6

Göttinger Digitalisierungszentrum
Measures of centrality and complexity for partial propositional calculi.

Chapin, E. William

Access to full text
p. 7-18

Göttinger Digitalisierungszentrum
Jede mit Stackautomaten berechenbare Funktion ist elementar.

Müller, Horst

Access to full text
p. 19-30

Göttinger Digitalisierungszentrum
...-definierbare Funktionen auf Peanoalgebren.

Mitschke, Gerd

Access to full text
p. 31-35

Göttinger Digitalisierungszentrum
On the consistency of the generalized continuum hypothesis.

Abian, Alexander ; Bainbridge, James

Access to full text
p. 36-40

Göttinger Digitalisierungszentrum
Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.

Pfeiffer, Helmut

Access to full text
p. 41-56

Göttinger Digitalisierungszentrum
Generalized quantifiers and well orderings.

Slomson, A.B.

Access to full text
p. 57-73

Göttinger Digitalisierungszentrum
On the relationship between weak compactness in L... and restricted second-order languages.

Bell, J.L.

Access to full text
p. 74-78

Göttinger Digitalisierungszentrum
Bemerkungen über minimale Modelle.

Flum, Jörg

Access to full text
p. 79-82

Göttinger Digitalisierungszentrum
Die automorhismenmengen der Modelle einer L...-Theorie.

Flum, Jörg

Access to full text
p. 83-85

Göttinger Digitalisierungszentrum
Homomorphe-invariante Formeln in der intuitionistischen Logik.

Osswald, Horst

Access to full text
p. 86-96

Göttinger Digitalisierungszentrum
L'Axiome de la paire dans le système de Zermelo.

Boffa, Maurice

Access to full text
p. 97-98

Göttinger Digitalisierungszentrum
Dialogkalküle.

Lorenzen, P.

Access to full text
p. 99-102

Göttinger Digitalisierungszentrum
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.

Lorenzen, P.

Access to full text
p. 103-117

Göttinger Digitalisierungszentrum
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.

Osswald, Horst

Access to full text
p. 118-128

Göttinger Digitalisierungszentrum
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.

Schwichtenberg, Helmut

Access to full text
p. 129-145

Göttinger Digitalisierungszentrum
Ein algebraischer Beweis für das Church-Rosser-Theorem.

Mitschke, Gerd

Access to full text
p. 146-157

Göttinger Digitalisierungszentrum
A calculus for finitely satisfiable formulas with identity.

Bullock, Arthur M. ; Schneider, Hubert H.

Access to full text
p. 158-163

Göttinger Digitalisierungszentrum
Hanf numbers and well-ordering numbers.

Flum, Jörg

Access to full text
p. 164-178

Göttinger Digitalisierungszentrum
Some categories of models.

Fittler, Robert

Access to full text
p. 179-190

Göttinger Digitalisierungszentrum