Name: Type Theory and Formal Proof
Price: 81.98 CAD
Availability: click-8910566-13710612?url=https%3A%2F%2Fwww.chapters.indigo.ca%2Fen-ca%2Fbooks%2Fproduct%2F9781107036505-item.html
Author: Rob Nederpelt
ISBN: 9781316056349

Nonfiction | Computer & Technology

Type Theory and Formal Proof

by Rob Nederpelt 2020-03-20 10:20:08

Type Theory and Formal Proof

by Rob Nederpelt 2020-03-20 10:20:08

COMPARE PRICE

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Less

File size
Print pages
Publisher
Publication date
Language
ISBN

10 X 6.81 X 1.1 in
466
Cambridge University Press
November 6, 2014
eng
9781316056349

Rob Nederpelt

Author

...

Compare Prices

Store

Availability

Book Format

Book Condition

Price

Hard Cover

Buy CAD 81.98

In Stock

Hard Cover

new

Buy CAD 81.98

Buy GBP 41.50

In Stock

new

Buy GBP 41.50

Available Discount

12 % OFF

12% off Academic Book Titles (ebooks.com)

Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF

Save 10% OFF on Student Text Books (ebooks.com)

Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF

20% Off on selected Categories

Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.