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
€71.86
▲4.69%
May 12, 2022
€57.32
▲1.28%
Jan 27, 2022
€54.76
▼-0.05%
Jan 26, 2022
€54.06
▼-0.32%
Jan 24, 2022
€54.09
▲0.28%
Jan 17, 2022
€54.26
▲0.09%
Jan 11, 2022
€54.11
▼-0.72%
Jan 10, 2022
€54.06
▲0.43%
Jan 4, 2022
€54.45
▲1.08%
Dec 28, 2021
€54.22