History and Philosophy of Constructive Type Theory - Synthese Library - Giovanni Sommaruga - Books - Springer - 9780792361800 - July 31, 2000
In case cover and title do not match, the title is correct

History and Philosophy of Constructive Type Theory - Synthese Library 2000 edition

Giovanni Sommaruga

Price
€ 143.49

Ordered from remote warehouse

Expected delivery Jul 23 - 31

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 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     Hardcover Book   (Book with hard spine and cover)
Released July 31, 2000
ISBN13 9780792361800
Publishers Springer
Pages 367
Dimensions 165 × 240 × 28 mm   ·   734 g
Language English  
Show all

More by Giovanni Sommaruga

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