Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy (Book, 2020) [WorldCat.org]
skip to content
Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy Preview this item
ClosePreview this item
Checking...

Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy

Author: David Corfield
Publisher: Oxford : Oxford University Press, 2020.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy / David Corfield
Oxford : Oxford University Press, 2020
978-0-19-188806-9
(ABES)245046461
Document Type: Book
All Authors / Contributors: David Corfield
ISBN: 9780198853404 0198853408
OCLC Number: 1243893012
Description: 1 volume (180 p.) ; 24 cm.
Responsibility: David Corfield.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.