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

    Vollansicht Verzeichnungseinheit GK 8-1-115

    Signatur: GK 8-1-115
    Titel: Constructive logic and logic versus algebraization I
    Laufzeit: 1982
    Enthält: zwei Sonderdrucke des zusammen mit Angus J. Macintyre publizierten Artikels "Constructive logic and logic versus algebraization I" aus: The L.E.J. Brouwer Centenary Symposium, hg. v. D. van Dalen u. A. Troelstra, Amsterdam 1982
    Umfang: 2 Sonderdrucke
    Bestellsignatur: PAKN, GK (Georg Kreisel), GK 8-1-115
     
    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