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