Akten
Analysis of Beth's semantic construction of intuitionistic logic
Enthält: eine Kopie des zusammen mit Verena Huber Dyson publizierten Artikels "Analysis of Beth's semantic construction of intuitionistic logic" aus Technical Report 3 (27.1.1961) (Applied Mathematics and Statistics Laboratories, Stanford University, Stanford Calif. 1961 ) Huber-Dyson, Verena; Mathematikerin, 1923 - 2016
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-45
- Umfang
-
33 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1961
- 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
- 1961
Ähnliche Objekte (12)
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Gödel's excursions into intuitionistic logic
Frege's foundations and intuitionistic logic
An Intuitionistic Approach to Logic Programming
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
On weak completeness of intuitionistic predicate logic
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Gödel's excursions into intuitionistic logic
Frege's foundations and intuitionistic logic
An Intuitionistic Approach to Logic Programming
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
On weak completeness of intuitionistic predicate logic
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Gödel's excursions into intuitionistic logic
Frege's foundations and intuitionistic logic
An Intuitionistic Approach to Logic Programming
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings