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

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

Giovanni Sommaruga

Price
zł 608.90

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 1

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:

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

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  
Show all

More by Giovanni Sommaruga

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