- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-7479
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Ten problems in Gödel logic ; day:28 ; month:9 ; year:2016 ; pages:1-4
Soft computing ; (28.9.2016), 1-4
- Creator
- Contributor
- DOI
-
10.1007/s00500-016-2366-9
- URN
-
urn:nbn:de:1111-201610271232
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Aguilera Ozuna, Juan Pablo
- Baaz, Matthias
- SpringerLink (Online service)
Other Objects (12)
Gödel's excursions into intuitionistic logic
Mechanising Gödel–Löb Provability Logic in HOL Light
Ten philosophical problems in deontic logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
From Semantic Games to Provability: The Case of Gödel Logic
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Ernst
Gödel, Friedrich
Gödel's excursions into intuitionistic logic
Mechanising Gödel–Löb Provability Logic in HOL Light
Ten philosophical problems in deontic logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
From Semantic Games to Provability: The Case of Gödel Logic
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Ernst
Gödel, Friedrich
Gödel's excursions into intuitionistic logic
Mechanising Gödel–Löb Provability Logic in HOL Light
Ten philosophical problems in deontic logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
From Semantic Games to Provability: The Case of Gödel Logic
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Ernst