David Corfield: Modal Homotopy Type Theory

Cover: 9780198853404 | Modal Homotopy Type Theory | David Corfield | Buch | Gebunden | 2020

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

110,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

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.

Ü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