Twenty Five Years of Constructive Type Theory - Oxford Logic Guides - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) - Books - Oxford University Press - 9780198501275 - December 10, 1998
In case cover and title do not match, the title is correct

Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)
Twenty Five Years of Constructive Type Theory - Oxford Logic Guides

Price
$ 145.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 26 - Jul 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

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

292 pages, bibliography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 10, 1998
ISBN13 9780198501275
Publishers Oxford University Press
Pages 292
Dimensions 161 × 242 × 20 mm   ·   585 g
Language English  

Mere med samme udgiver

See all of Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) ( e.g. Hardcover Book )