Akten
Frege's foundations and intuitionistic logic
Enthält: einen Sonderdruck des Artikels "Frege's foundations and intuitionistic logic" aus: The Monist 67 (1984) mit eingelegter maschinenschriftlicher Corrigendaliste
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-119
- Umfang
-
1 Sonderdruck, 1 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1984
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1984
Ähnliche Objekte (12)
Foundations of intuitionistic logic
The foundations of Frege's logic
Logic and foundations of mathematics in Frege's philosophy
Intuitionistic Logic is a Connexive Logic
Frege's logic
Gödel's excursions into intuitionistic logic
Intuitionistic modal logic and applications : workshop proceedings
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
Frege's conception of logic
Foundations of intuitionistic logic
The foundations of Frege's logic
Logic and foundations of mathematics in Frege's philosophy
Intuitionistic Logic is a Connexive Logic
Frege's logic
Gödel's excursions into intuitionistic logic
Intuitionistic modal logic and applications : workshop proceedings
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
Frege's conception of logic
Foundations of intuitionistic logic
The foundations of Frege's logic
Logic and foundations of mathematics in Frege's philosophy
Intuitionistic Logic is a Connexive Logic
Frege's logic
Gödel's excursions into intuitionistic logic
Intuitionistic modal logic and applications : workshop proceedings
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming