TY  - BOOK
AU  - Jacobs, B.,
TI  - Categorical Logic and Type Theory : (SL - FM 141)
SN  - 0 444 50170 3
CY  - Netherlands
KW  - Logic
KW  - Type Theory
ER  -