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
€77.33
▲4.69%
May 12, 2022
€61.69
▲1.28%
Jan 27, 2022
€58.93
▼-0.05%
Jan 26, 2022
€58.18
▼-0.32%
Jan 24, 2022
€58.21
▲0.28%
Jan 17, 2022
€58.39
▲0.09%
Jan 11, 2022
€58.23
▼-0.72%
Jan 10, 2022
€58.17
▲0.43%
Jan 4, 2022
€58.59
▲1.08%
Dec 28, 2021
€58.35