Bøger af Giovanni (Professor of Mathematical Logic Sambin - bogreolen.dk

Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser

Udvidet returret til d. 31. januar 2025

Populære

Twenty Five Years of Constructive Type Theory

af Giovanni (Professor of Mathematical Logic Sambin

1.340,95 kr.

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.
- Bog
- 1.340,95 kr.
Se mere