Books » Related Books

Displaying 1- 4 of 4

Sort by:


1.		Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior Author: Schultz, Patrick Spivak, David ISBN: 978-3-030-00703-4 Book Format: Hardback List Price: USD $59.99 Publisher: Springer International Publishing AG Publication Date: Feb 2019 Quantity Note

2.		Advances in Proof Theory ISBN: 978-3-319-29196-3 Book Format: Hardback List Price: USD $139.99USD $139.99USD $109.99 Publisher: Springer International Publishing AG Publication Date: May 2016 Quantity Note

3.		Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume ISBN: 978-3-319-35058-5 Book Format: Paperback List Price: USD $109.00USD $119.99 Publisher: Springer International Publishing AG Publication Date: Aug 2016 Quantity Note

4.		Advances in Proof Theory ISBN: 978-3-319-80513-9 Book Format: Paperback List Price: USD $139.99USD $139.99USD $109.99 Publisher: Springer International Publishing AG Publication Date: May 2018 Quantity Note