
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory Author(s): Egbert Rijke (Author) Publisher: Cambridge University Press Publication ...

Introduction to Homotopy Type Theory Author(s): Egbert Rijke (Author) Publisher: Cambridge University Press Publication ...

Simple Formal Logic: With Common-Sense Symbolic Techniques Author(s): Arnold vander Nat (Author) Publisher: Routledge Pu...

A Rulebook for Arguments Fifth Edition, 5 Edition Author(s): Anthony Weston (Author) Publisher: Hackett Publishing Compa...

Polynomial Functors Author(s): Nelson Niu (Author) Publisher: Cambridge University Press Publication Date: October 16, 2...

An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus 2013th Edition Author(s): Ch...

The Future of Post-Human Mathematical Logic new Edition Author(s): Peter Baofu (Author) Publisher: Cambridge Scholars Pu...

Counterfactuals Author(s): David Lewis (Author) Publisher: Wiley-Blackwell Publication Date: 5 Jan. 2001 Edition: 1st La...

Religious Authority and Political Thought in Twelver Shi'ism: From Ali to Post-Khomeini Author(s): Hamid Mavani (Au...

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work Softcover reprint of the original 1st ed. 2014 E...

Computability Theory: An Introduction to Recursion Theory Author(s): Herbert B. Enderton (Author) Publisher: Academic Pr...