Type Theory and Formal Proof: An Introduction - Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands) - Books - Cambridge University Press - 9781107036505 - November 6, 2014
In case cover and title do not match, the title is correct

Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)
Type Theory and Formal Proof: An Introduction

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

490 pages, 35 b/w illus. 125 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 6, 2014
ISBN13 9781107036505
Publishers Cambridge University Press
Pages 466
Dimensions 177 × 254 × 29 mm   ·   1.03 kg
Language English  

More from the same publisher

See all of Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands) ( e.g. Hardcover Book )