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

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

(author), (author), (author)
£139.99
Hardback 360 Pages / Published: 09/06/2004
  • 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-Verlag New York Inc.
ISBN: 9781402023347
Number of pages: 360
Weight: 1570 g
Dimensions: 235 x 155 x 22 mm
Edition: 2004 ed.


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...

An Introduction to Non-Classical Logic
Added to basket
Introducing Infinity
Added to basket
Logic for Dummies
Added to basket
£13.99
Paperback
Logic
Added to basket
£10.99
Paperback
The Foundations of Mathematics
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Conceptual Mathematics
Added to basket
How to Prove It
Added to basket
Math Girls
Added to basket
£11.99
Paperback
Numbers and Proofs
Added to basket
£46.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.