0,00 €*
Cover: 9780198853404 | Modal Homotopy Type Theory | David Corfield | Buch | Gebunden | 2020
Dekorationsartikel gehören nicht zum Leistungsumfang.
Modal Homotopy Type Theory
The Prospect of a New Logic for Philosophy
Buch von David Corfield
Sprache: Englisch

115,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
Über den Autor
David Corfield has been a Senior Lecturer since 2009 in the Department of Philosophy at the University of Kent, which he joined in 2007. His principal areas of research are philosophy of mathematics and philosophy of medicine. As regards to the former, his work has not only been closely studied by other philosophers, but has also been appreciated by some of the world's leading mathematicians internationally recognised as an exponent of a new style of work which pays much closer attention to the practice of mathematicians.
Inhaltsverzeichnis
  • 1: A path to a new logic

  • 2: Dependent types

  • 3: Homotopy types

  • 4: Modal types

  • 5: Spatial types

  • 6: Conclusion

Details
Erscheinungsjahr: 2020
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9780198853404
ISBN-10: 0198853408
Sprache: Englisch
Einband: Gebunden
Autor: Corfield, David
Hersteller: Oxford University Press (UK)
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 237 x 157 x 16 mm
Von/Mit: David Corfield
Erscheinungsdatum: 03.03.2020
Gewicht: 0,466 kg
Artikel-ID: 121090145
Über den Autor
David Corfield has been a Senior Lecturer since 2009 in the Department of Philosophy at the University of Kent, which he joined in 2007. His principal areas of research are philosophy of mathematics and philosophy of medicine. As regards to the former, his work has not only been closely studied by other philosophers, but has also been appreciated by some of the world's leading mathematicians internationally recognised as an exponent of a new style of work which pays much closer attention to the practice of mathematicians.
Inhaltsverzeichnis
  • 1: A path to a new logic

  • 2: Dependent types

  • 3: Homotopy types

  • 4: Modal types

  • 5: Spatial types

  • 6: Conclusion

Details
Erscheinungsjahr: 2020
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9780198853404
ISBN-10: 0198853408
Sprache: Englisch
Einband: Gebunden
Autor: Corfield, David
Hersteller: Oxford University Press (UK)
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 237 x 157 x 16 mm
Von/Mit: David Corfield
Erscheinungsdatum: 03.03.2020
Gewicht: 0,466 kg
Artikel-ID: 121090145
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...