TY  - BOOK
AU  - Bell, John L.
TI  - Higher-Order Logic and Type Theory
SN  - 9781108986908
U1  - 511.3 
PY  - 2022///
PB  - Cambrdige
KW  - Philosophy
ER  -