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

Digitalisierte Bilder gesperrt bis: 31.12.2050

Signatur:	GK 8-1-119
Titel:	Frege's foundations and intuitionistic logic
Laufzeit:	1984
Enthält:	einen Sonderdruck des Artikels "Frege's foundations and intuitionistic logic" aus: The Monist 67 (1984) mit eingelegter maschinenschriftlicher Corrigendaliste
Umfang:	1 Sonderdruck, 1 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-119