TY  - BOOK
AU  - Bell, John L.
TI  - Higher-order logic and type theory
SN  - 9781108986908
U1  - 511.3 
PY  - 2022///
PB  - Cambridge university press, 
KW  - Philosophy
ER  -