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
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
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 8-1-130
Signatur:	GK 8-1-130
Titel:	Logical aspects of the axiomatic method: On their significance in (traditional) foundations and in some (now) common or garden varieties of mathematics
Laufzeit:	1989
Enthält:	eine aus einem Sonderdruck hergestellte Kopiervorlage des Artikels "Logical aspects of the axiomatic method: On their significance in (traditional) foundations and in some (now) common or garden varieties of mathematics" aus: Logic Colloquium '87: Proceedings of the Colloquium held in Granada, Spain, July 20-25,1987, hg. v. H.D. Ebbinghaus, J. Fernandez-Prida, M. Grrido, D. Lascar u. M. Artalejo, Amsterdam 1989
Umfang:	36 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-130
 
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