Jacobs, B.,
Categorical Logic and Type Theory : (SL - FM 141) - Netherlands Elsevier 1999 - 760 - Studies in Logic and the Foundations of Mathematics, 141 .
0 444 50170 3
Logic
Type Theory
510.6 JAC
Categorical Logic and Type Theory : (SL - FM 141) - Netherlands Elsevier 1999 - 760 - Studies in Logic and the Foundations of Mathematics, 141 .
0 444 50170 3
Logic
Type Theory
510.6 JAC