The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.
Price history
▲37.5%
Nov 12, 2022
€20.33
Apr 1, 2022
€14.78