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.38
Apr 1, 2022
€14.82