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

Digitalisierte Bilder gesperrt bis: 31.12.2050

Signatur:	GK 8-1-114
Titel:	Extraction of bounds: Interpreting some tricks of the trade
Laufzeit:	1981
Enthält:	eine Kopie des Artikels "Extraction of bounds: Interpreting some tricks of the trade" aus: University-level computer-assisted instruction at Stanford, 1968-1980, hg. v. P. Suppes, Stanford 1981,
Umfang:	16 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-114