Type Theory and Formal Proof : An Introduction
Book Details
Format
Hardback or Cased Book
ISBN-10
110703650X
ISBN-13
9781107036505
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 6th, 2014
Print length
466 Pages
Weight
1,028 grams
Dimensions
25.40 x 17.70 x 2.90 cms
Product Classification:
Mathematical theory of computation
AI Summary
Ksh 13,100.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Type Theory and Formal Proof by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
Discover books you might love based on this title.
More in This Genre
Advances In The Computational Sciences - Proceedings Of The Symposium In Honor Of Dr Berni Alder's 90th Birthday
Ksh 19,100.00
Evolutionary Multi-Criterion Optimization
Ksh 16,200.00
Membrane Computing
Ksh 8,100.00
Nature-Inspired Computing
Ksh 8,650.00
Limits of Mathematics
Ksh 8,100.00
25 Problems for STEM Education
Ksh 17,400.00
