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
Declarative Programming and Knowledge Management
Ksh 8,100.00
Tests and Proofs
Ksh 8,100.00
Domain Science and Engineering
Ksh 27,000.00
Constructive Fractional Analysis with Applications
Ksh 25,200.00
Agent-Based Modeling and Network Dynamics
Ksh 19,450.00
Analytical and Stochastic Modelling Techniques and Applications
Ksh 8,100.00
