Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH Wolfgang Stegmüller OriginalPaper Pages: 3 - 27
Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit Dieter Titgemeyer OriginalPaper Pages: 45 - 62