Your Waterstones card is changing, introducing...
TELL ME MORE
A Modern Perspective on Type Theory: From its Origins until Today - Applied Logic Series 29 (Paperback)
  • A Modern Perspective on Type Theory: From its Origins until Today - Applied Logic Series 29 (Paperback)
zoom

A Modern Perspective on Type Theory: From its Origins until Today - Applied Logic Series 29 (Paperback)

(author), (author), (author)
£139.99
Paperback 360 Pages / Published: 22/10/2010
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

Publisher: Springer
ISBN: 9789048166398
Number of pages: 360
Weight: 598 g
Dimensions: 240 x 160 x 19 mm
Edition: Softcover reprint of hardcover 1st ed. 2004


MEDIA REVIEWS

"This book has evolved from a number of projects by the authors ... into aspects of the evolution of calculus and type theory in Logic, Mathematics and Computation. ... The crown of this collaboration is this very rich and well written book ... . This book not only gives a nice and concise overview ... but also a mathematically precise and faithful reconstruction of the different type theories ... . I expect the book will be a major work of reference ... ." H.C.M. De Swart, Journal of Logic, Language and Information, Vol. 15, 2006

You may also be interested in...

Logic
Added to basket
£10.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
Sets, Logic and Categories
Added to basket
Foundation Mathematics
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
The Pea and the Sun
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Modern Logic
Added to basket
£77.99
Paperback
How to Prove It
Added to basket
Conceptual Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.