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 - October 15, 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
Íkr 18,369
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 5 - 19
Christmas presents can be returned until 31 January
Get notified about new Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) releases

Our customers say:

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

Not rated yet

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 October 15, 1998
ISBN13 9780198501275
Publishers Oxford University Press
Pages 292
Dimensions 161 × 242 × 20 mm   ·   588 g
Language English  

More from the same publisher

See all of Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)