Type Theory and Formal Proof
Type Theory and Formal Proof
Regular price
Rs. 9,988.34
Regular price
Sale price
Rs. 9,988.34
Unit price
per
Tax included.
ISBN: 9781316053980
Author: Herman Geuvers; Rob Nederpelt
Publisher: Gardners
Published Date: November 06, 2014
Access Validity: 3 Years from Date of Purchase
Book Type:
Digital eBook
Couldn't load pickup availability
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
