Introduction To Homotopy Type Theory by Rijke, Egbert (the Johns Hopkins Univ...

greatbookprices1

$77

CONTACT SELLER SEE ON EBAY

greatbookprices1

$77

DESCRIPTION

Introduction To Homotopy Type Theory by Rijke, Egbert (the Johns Hopkins University, Maryland), ISBN 1108844162, ISBN-13 9781108844161, Like New Used, Free shipping in the US

An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.

Read More on eBay

Introduction To Homotopy Type Theory by Rijke, Egbert (the Johns Hopkins Univ...

Introduction to Homotopy Type Theory by Egbert Rijke Hardcover Book

Introduction to Homotopy Type Theory, Rijke, Egber

Introduction to Homotopy Type Theory (Cambridge, Rijke, Rijke,..

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics,

Introduction to Homotopy Type Theory by Egbert Rijke HARDBACK 9781108844161

Egbert Rijke Introduction to Homotopy Type Theory (Hardback) (UK IMPORT)

Egbert Rijke Introduction to Homotopy Type Theory (Hardback)