Types, tableaus, and Gödel's God

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
1402006047
Maße
25 cm
Umfang
XV, 180 S.
Sprache
Englisch
Anmerkungen
Literaturverz. S. 173 - 177

Erschienen in
Trends in logic ; vol. 13

Klassifikation
Philosophie
Mathematik
Schlagwort
Gödel, Kurt
Modallogik
Typentheorie
Ontologischer Gottesbeweis

Ereignis
Veröffentlichung
(wo)
Dordrecht, Boston, London
(wer)
Kluwer Acad. Publ.
(wann)
2002
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:58 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2002

Ähnliche Objekte (12)