History and Philosophy of Constructive Type Theory - Synthese Library - Giovanni Sommaruga - Books - Springer - 9789048154036 - December 7, 2010
In case cover and title do not match, the title is correct

Giovanni Sommaruga
History and Philosophy of Constructive Type Theory - Synthese Library Softcover reprint of hardcover 1st ed. 2000 edition

Price
$ 158.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

367 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 7, 2010
ISBN13 9789048154036
Publishers Springer
Pages 367
Dimensions 160 × 240 × 19 mm   ·   530 g
Language English  

More by Giovanni Sommaruga

Show all

See all of Giovanni Sommaruga ( e.g. Hardcover Book and Paperback Book )