ACTApro Benutzung

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

    Vollansicht Verzeichnungseinheit GK 8-1-103

    Signatur: GK 8-1-103
    Titel: Some facts from the theory of proofs and some fictions from general proof theory
    Laufzeit: 1978
    Enthält: 2 Sonderdrucke des Artikels "Some facts from the theory of proofs and some fictions from general proof theory" aus: Essays on mathematical and philosophical logic, hg. v. J. Hintikka, I. Niiniluoto u. E. Saarinen, Dordrecht 1978.
    Einer der Sonderdrucke zeigt Anstreichungen.
    Umfang: 2 Sonderdrucke
    Bestellsignatur: PAKN, GK (Georg Kreisel), GK 8-1-103
     
    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
    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