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.84
▲4.69%
May 12, 2022
€64.49
▲1.28%
Jan 27, 2022
€61.60
▼-0.05%
Jan 26, 2022
€60.82
▼-0.32%
Jan 24, 2022
€60.85
▲0.28%
Jan 17, 2022
€61.04
▲0.09%
Jan 11, 2022
€60.87
▼-0.72%
Jan 10, 2022
€60.81
▲0.43%
Jan 4, 2022
€61.25
▲1.08%
Dec 28, 2021
€60.99