Sommaire

Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.

Stegmüller, Wolfgang

Access to full text
p. 3-27

Göttinger Digitalisierungszentrum
On Definitions.

Schock, Rolf

Access to full text
p. 28-44

Göttinger Digitalisierungszentrum
Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der reukrsiven Unlösbarkeit.

Titgemeyer, Dieter

Access to full text
p. 45-62

Göttinger Digitalisierungszentrum
Zur Stufenreduktion von Kalkülen.

Fiedler, Herbert

Access to full text
p. 63-103

Göttinger Digitalisierungszentrum
Recursively enumerable classes and their application to recursive sequences of formal theories.

Pour-El, Boykan ; Marian ; Putnam, Hilary

Access to full text
p. 104-121

Göttinger Digitalisierungszentrum