Tektonik

Archive der Universität Konstanz
Philosophisches Archiv
Vor- und Nachlässe
PAKN, OB Oskar Becker
PAKN, RC Rudolf Carnap
PAKN, PF Paul Feyerabend
PAKN, GG Gerhard Gentzen
PAKN, HJ Hans Jonas
PAKN, WK Wilhelm Kamlah
PAKN, VK Viktor Kraft
PAKN, GK Georg Kreisel
Pittsburgh-Teil
Salzburg-Teil
Sonderdruck- und Schriftensammlung
Sonderdrucksammlung Schriften
<< < 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
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 8-1-102
Signatur:	GK 8-1-102
Titel:	From foundations to science. Justifying and unwinding proofs
Laufzeit:	1977
Enthält:	einen Sonderdruck und das zugehörige Zeitschriftenheft des Artikels "From foundations to science. Justifying and unwinding proofs" aus: Set theory : foundations of mathematics ; proceedings of the symposium held in Belgrade 1977, Belgrad 1977
Umfang:	1 Sonderdruck, 1 Zeitschriftenheft
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-102
 
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
GK 8-1-125 - Socalled formal reasoning and the foundational ide - 1987
GK 8-1-126 - Church's thesis and the ideal of informal rigour - 1987
GK 8-1-127 - Valeur littéraire de la Pensée d'Aristote - 1988
GK 8-1-128 - De la logique - 1988
GK 8-1-129 - Logique et mathématiques - 1988
GK 8-1-130 - Logical aspects of the axiomatic method: On their - 1989
GK 8-1-131 - Logical aspects of computation: Contributions and - 1990
GK 8-1-132 - Sur le progrès des sciences sociales depuis Aristo - 1991
<< < 1 2 3
Sonderdrucksammlung Rezensionen
Schriftensammlung
Korrespondenz mit Verena Huber-Dyson
Korrespondenz mit Albert Visser
Korrespondenz mit Brian McGuinness
PAKN, PL Paul Lorenzen
PAKN, HR Hans Reichenbach
PAKN, BT Bruno Thüring
Deposita
Sozialwissenschaftliches Archiv
Universitätsarchiv