Twenty Five Years of Constructive Type Theory: Proceedings of a Congress Held in
95,56 €
Twenty Five Years of Constructive Type Theory. Short Title 25 YEARS OF CONSTRUCTIVE TYPE. Martin-Lof Type Theory is a formalization and a focus for a charismatic view of the foundations of mathematics.
Jetzt bei Ebay:
