|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: David Corfield (Senior Lecturer in Philosophy, Senior Lecturer in Philosophy, University of Kent, Canterbury)Publisher: Oxford University Press Imprint: Oxford University Press Dimensions: Width: 16.00cm , Height: 1.60cm , Length: 24.00cm Weight: 0.456kg ISBN: 9780198853404ISBN 10: 0198853408 Pages: 192 Publication Date: 06 February 2020 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: To order ![]() Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us. Table of Contents1: A path to a new logic 2: Dependent types 3: Homotopy types 4: Modal types 5: Spatial types 6: ConclusionReviewsAuthor InformationDavid 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. Tab Content 6Author Website:Countries AvailableAll regions |