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

GK 8-1-120 - Philosophie: Eine Ergänzung der Wissenschaft? - 1985

GK 8-1-121 - Proof theory and the synthesis of programs: Potent - 1985

Digitalisierte Bilder gesperrt bis: 31.12.2050

Signatur:	GK 8-1-121
Titel:	Proof theory and the synthesis of programs: Potential and limitations
Laufzeit:	1985
Enthält:	eine Kopie des Artikels "Proof theory and the synthesis of programs: Potential and limitations" aus: EUROCAL '85: European Conference on Computer Algebra, Linz, Austria, April 1-3 1985, Proceedings Vol. 1: Invited Lectures, hg. v. B. Buchberger, Berlin 1985 sowie ein Typoskript, das wohl die Druckvorlage für die Publikation war.
Umfang:	31 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-121