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
Ksh 13,100.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
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.
