Archive der Universität Konstanz

Sie sind nicht angemeldet.

Tektonik

Die Tektonik ist auf Ihren Suchtreffer eingeschränkt, Sie können über das "+" den normalen Archivbaum einblenden.

Vor- und Nachlässe

PAKN, OB Oskar Becker

PAKN, HJ Hans Jonas

PAKN, VK Viktor Kraft

Pittsburgh-Teil

Salzburg-Teil

<< < 1 2 3

GK 8-1-101 - On the kind of data needed for a theory of proofs - 1977

GK 8-1-102 - From foundations to science. Justifying and unwind - 1977

GK 8-1-103 - Some facts from the theory of proofs and some fict - 1978

GK 8-1-104 - The motto of 'Philosophical Investigations' and th - 1978

GK 8-1-105 - Zu Wittgensteins Gesprächen und Vorlesungen über d - 1978

GK 8-1-106 - Formal rules and questions of justifying mathemati - 1979

GK 8-1-107 - Kurt Gödel 1906-1978 - 1980

GK 8-1-108 - Fünf Artikel aus dem Handbuch wissenschaftstheoret - 1980

GK 8-1-109 - Constructivist approaches to logic - 1980

GK 8-1-110 - Aussagequantoren. Ein Beitrag der mathematischen L - 1981

GK 8-1-111 - Zur Bewertung mathematischer Definitionen - 1981

GK 8-1-112 - Monadic operators defined by means of propositional - 1981

GK 8-1-113 - Neglected possibilities of precessing assertions a - 1981

GK 8-1-114 - Extraction of bounds: Interpreting some tricks of - 1981

GK 8-1-115 - Constructive logic and logic versus algebraization - 1982

GK 8-1-116 - Finiteness theorems in arithmetic: An application - 1982

GK 8-1-117 - Einige Erläuterungen zu Wittgensteins Kummer mit H - 1983

GK 8-1-118 - Hilbert's programme - 1983

GK 8-1-119 - Frege's foundations and intuitionistic logic - 1984

GK 8-1-120 - Philosophie: Eine Ergänzung der Wissenschaft? - 1985

GK 8-1-121 - Proof theory and the synthesis of programs: Potent - 1985

GK 8-1-122 - Mathematical logic: Tool and object lesson for sci - 1985

GK 8-1-123 - Was hat die Wissenschaft von der mathematischen Lo - 1986

GK 8-1-124 - Gödel's excursions into intuitionistic logic - 1987

Digitalisierte Bilder gesperrt bis: 31.12.2050

Signatur:	GK 8-1-124
Titel:	Gödel's excursions into intuitionistic logic
Laufzeit:	1987
Enthält:	einen Sonderdruck des Artikels "Gödel's excursions into intuitionistic logic" aus: Gödel Remembered, hg. v. P. Weigartner u. L. Schmetterer, Neapel 1987. Dem Sonderdruck ist eine maschinenschriftliche Liste mit Addenda und Corrigenda beigegeben.
Umfang:	1 Sonderdruck und 1 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-124