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
Vorworte, Einleitungen, Buchprojekte
Notizen, Teilstücke und Fragmente
GK 4-3-1 - A few (immediate) reactions to reading Some strang - [ca. 1980]
GK 4-3-2 - Background: Review with a twist - o.D.
GK 4-3-3 - Set-theoretic foundations and Hilbert's program: R - o.D.
GK 4-3-4 - Philosophers - o.D.
GK 4-3-5 - Preface: To be used in the introductions of variou - o.D.
GK 4-3-6 - Memo (to myself) after reading Buchberger: History - [ca. 1987]
GK 4-3-7 - Modal language of provability logic - o.D.
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 4-3-7
Signatur:	GK 4-3-7
Titel:	Modal language of provability logic
Laufzeit:	o.D.
Enthält:	drei maschinenschriftliche Seiten aus einem größeren Zusammenhang zum Programmieren. Die hier als Titel angegebene Überschrift findet sich in der Mitte.
Umfang:	3 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-3-7
 
GK 4-3-8 - Interim reflections on the project - o.D.
GK 4-3-9 - More (on) convergence - o.D.
GK 4-3-10 - Brief review of loose ends in my teen age recollec - o.D.
GK 4-3-11 - Memo on (glimpses of) a broader view - o.D.
GK 4-3-12 - A tacit assumption about mathematical traditions - o.D.
GK 4-3-13 - Preliminary Notes to 'Second thoughts around some - 1994-1995
GK 4-3-14 - Background: teen age emotions recollected in prosa - 1997
GK 4-3-15 - 6. A comment and a disclaimer - 1998
GK 4-3-16 - Mathematical knowledge - o.D.
GK 4-3-17 - Quotations and other references - o.D.
GK 4-3-18 - Abstractions related to mental processes - o.D.
GK 4-3-19 - The cardinal sin of senility - o.D.
GK 4-3-20 - Zur Metapher von der Logik als - Grammatik einer - - 2003
GK 4-3-21 - Musil's quip - [ca. 2008]
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