Akten
Gödel's excursions into intuitionistic logic
Enthält: einen Sonderdruck des Artikels "Gödel's excursions into intuitionistic logic" aus: Gödel Remembered, hg. v. P. Weigartner u. L. Schmetterer, Neapel 1987. Dem Sonderdruck ist eine maschinenschriftliche Liste mit Addenda und Corrigenda beigegeben.
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-124
- Extent
-
1 Sonderdruck und 1 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1987
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1987
Other Objects (12)
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Ten problems in Gödel logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
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
Frege's foundations and intuitionistic logic
Ten problems in Gödel logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
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
Frege's foundations and intuitionistic logic
Ten problems in Gödel logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings