Twenty Five Years of Constructive Type Theory - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) a Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Swede

Name: Twenty Five Years of Constructive Type Theory - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) a Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Swede
Brand: Oxford University Press

Stabilní cena

Cenu sledujeme od 22. 10. 2026 a zatím se drží na 3 360 Kč.

3 360 Kč

Oxford University Press

Celý popis

Do obchodu

O produktu

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.

Tip: Podívejte se také na další produkty z kategorie Matematické základy.