TY  - BOOK
AU  - Bell
TI  - Higher-Order Logic and Type Theory
SN  - 9781108981804
PB  - Cambridge University Press
UR  - https://doi.org/10.1017/9781108981804
ER  -