- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-7479
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Ten problems in Gödel logic ; day:28 ; month:9 ; year:2016 ; pages:1-4
Soft computing ; (28.9.2016), 1-4
- Urheber
- Beteiligte Personen und Organisationen
- DOI
-
10.1007/s00500-016-2366-9
- URN
-
urn:nbn:de:1111-201610271232
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:56 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aguilera Ozuna, Juan Pablo
- Baaz, Matthias
- SpringerLink (Online service)
Ähnliche Objekte (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