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
€74.35
▲4.69%
May 12, 2022
€59.31
▲1.28%
Jan 27, 2022
€56.65
▼-0.05%
Jan 26, 2022
€55.94
▼-0.32%
Jan 24, 2022
€55.96
▲0.28%
Jan 17, 2022
€56.14
▲0.09%
Jan 11, 2022
€55.98
▼-0.72%
Jan 10, 2022
€55.93
▲0.43%
Jan 4, 2022
€56.33
▲1.08%
Dec 28, 2021
€56.09