Loading [MathJax]/extensions/MathZoom.js

Sommaire

Ein konstruktives System von Ordinalzahlen. II.

Schütte, Kurt

Access to full text
p. 3-11

Göttinger Digitalisierungszentrum
Ein Bezeichnungssystem für Ordinalzahlen.

Pfeiffer, Helmut

Access to full text
p. 12-17

Göttinger Digitalisierungszentrum
Kodifikation und Aussagenlogik.

Luckhardt, Horst

Access to full text
p. 18-38

Göttinger Digitalisierungszentrum
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.

Ebbinghaus, Heinz-Dieter

Access to full text
p. 39-53

Göttinger Digitalisierungszentrum
Primitiv-rekursive Funktionen auf Termmengen.

Mahn, Friedrich-Karl

Access to full text
p. 54-65

Göttinger Digitalisierungszentrum
Über die Homogenisierbarkeit von Rechenprogrammen.

Döpp, Klemens

Access to full text
p. 66-71

Göttinger Digitalisierungszentrum
Theophrastische Modallogik.

Lorenzen, Paul

Access to full text
p. 72-75

Göttinger Digitalisierungszentrum
A note on k-axiomatisations of identity.

Moschovakis, Joan Rand

Access to full text
p. 76-77

Göttinger Digitalisierungszentrum
Open formulas and the empty domain.

Leblanc, H. ; Meyer, R.K.

Access to full text
p. 78-84

Göttinger Digitalisierungszentrum
Rekursionszahlen und die Grzegorczyk-Hierarchie.

Schwichtenberg, Helmut

Access to full text
p. 85-98

Göttinger Digitalisierungszentrum
On inaccessible cardinal numbers.

Abian, Alexander

Access to full text
p. 99-103

Göttinger Digitalisierungszentrum
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.

Kutschera, Franz v.

Access to full text
p. 104-118

Göttinger Digitalisierungszentrum
Mengeninduktion und Fundierungsaxiom.

Jensen, R.B. ; Schröder, Max E.

Access to full text
p. 119-133

Göttinger Digitalisierungszentrum
Eine Verallgemeinerung des Hauptsatzes von Gentzen.

Zahn, Peter

Access to full text
p. 134-150

Göttinger Digitalisierungszentrum
A liberated version of S5.

Meyer, R. ; Leblanc, H. ; Lambert, K.

Access to full text
p. 151-154

Göttinger Digitalisierungszentrum
Decision procedures for S3... and S4.. .

Zeman, J. Jay

Access to full text
p. 155-158

Göttinger Digitalisierungszentrum
Schnittelimination in einem Teilsystem der einfachen Typenlogik.

Bibel, Wolfgang

Access to full text
p. 159-178

Göttinger Digitalisierungszentrum
Über für-fast-alle-Quantoren.

Ebbinghaus, Heinz-Dieter

Access to full text
p. 179-193

Göttinger Digitalisierungszentrum