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
Manuskripte
Artikel und Memoranda
<< < 1 2 3
GK 4-1-101 - Austins's unflinching convictions or Stuart Hamphi - o.D.
GK 4-1-102 - Elementary observations around traditions of small - o.D.
GK 4-1-103 - Around - not only - Wittgenstein's literary ambiti - o.D.
GK 4-1-104 - Zur Metapher von der Logik als - Grammatik - 2001-2002
GK 4-1-105 - Postscript to Baaz-Wojtylak - 2001-2004
GK 4-1-106 - PS to [BW] - 2004
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 4-1-106
Signatur:	GK 4-1-106
Titel:	PS to [BW]
Laufzeit:	2004
Enthält:	eine Version (Computerausdruck) vom 26.6.2004 des als Nr. 193 der Salzburger Schriftensammlung abgedruckten Textes, einige Seiten aus einer früheren Version mit handschriftlichen Korrekuren sowie Kopien der Artikel  -200Matthias Baaz und Pavel Pudlk, "Kreisel's conjecture for L∃1 (including a Postscript by Georg Kreisel)", aus: Arithmetic, proof theory, and computational complexity, hg. v. Peter Cote u. Jan Krajcek, Oxford 1993  Matthias Baaz, "Note on the Existence of Most General Semi-Unifiers", aus: Arithmetic, proof theory, and computational complexity, hg. v. Peter Cote u. Jan Krajcek, Oxford 1993
Umfang:	59 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-106
 
GK 4-1-107 - Bourbaki's Foundations: (re)viewed after some 5 de - 2004
GK 4-1-108 - A relation between 2 declarations of A. Weil - 2005
GK 4-1-109 - The traditional preoccupation of logic: truth (vali - [ca. 2005]
GK 4-1-110 - Logical hygiene, foundations and abstractions - 2006-2008
GK 4-1-111 - Aspects of Herbrand's thèse: combinations with con - 2008
GK 4-1-112 - Aspects of infinity - 2009
GK 4-1-113 - Van Heijenoort's taste for (tacitly, suitable) att - 2011
<< < 1 2 3
Vorworte, Einleitungen, Buchprojekte
Notizen, Teilstücke und Fragmente
Rezensionen
Korrespondenz
Varia
Persönliches
Sonderdruck- und 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