Description
| Product ID: | 9781107036505 |
| Product Form: | Hardback |
| Country of Manufacture: | GB |
| Title: | Type Theory and Formal Proof |
| Subtitle: | An Introduction |
| Authors: | Author: Herman Geuvers, Rob Nederpelt |
| Page Count: | 466 |
| Subjects: | Mathematics, Mathematics, Mathematical logic, Computing and Information Technology, Programming and scripting languages: general, Computer architecture and logic design, Mathematical logic, Computing & information technology, Programming & scripting languages: general, Computer architecture & logic design |
| Description: | Select Guide Rating 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. |
| Imprint Name: | Cambridge University Press |
| Publisher Name: | Cambridge University Press |
| Country of Publication: | GB |
| Publishing Date: | 2014-11-06 |
