ISBN 0198853408 books & textbook

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

Oxford University Press /2020-03-03 Hardcover / 192 Pages
isbn-10: 0198853408 / isbn-13: 9780198853404