A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Price history
▲25.36%
Nov 12, 2022
€80.94
▲4.69%
May 12, 2022
€64.57
▲1.28%
Jan 27, 2022
€61.67
▼-0.05%
Jan 26, 2022
€60.89
▼-0.32%
Jan 24, 2022
€60.92
▲0.28%
Jan 17, 2022
€61.12
▲0.09%
Jan 11, 2022
€60.94
▼-0.72%
Jan 10, 2022
€60.88
▲0.43%
Jan 4, 2022
€61.33
▲1.08%
Dec 28, 2021
€61.07