Modal homotopy type theory : the prospect of a new logic for philosophy

Main Author: Corfield, David
Subjects:
Online Access: http://library.unisel.edu.my/web/guest/mylibrary
Physical Description: 1 online resource (x, 180 pages): text file, PDF.
ISBN: 9780198853404 (electronic book)