| 000 | 00481 a2200157 4500 | ||
|---|---|---|---|
| 003 | BD-SaJUCL | ||
| 040 |
_aBD-SaJUCL _cBD-SaJUCL _dBD-SaJUCL |
||
| 942 |
_2ddc _cBK _n1 |
||
| 100 | 1 |
_aLambek, J. _929711 |
|
| 245 | 1 | 0 |
_aIntroduction to higher order categorical logic _cJ. Lambek, P.J. Scott. |
| 260 |
_aCambridge _bUniv. Pr. _c1994 |
||
| 300 |
_ax, 293p. _c23cm |
||
| 082 | 0 | 4 | _a512.55 |
| 650 | 0 |
_aCategories (Mathematics) _929712 |
|
| 509 | _aMehedi_Hasan_68_4_Document_6_734.jpg_processed | ||
| 999 |
_c73475 _d73469 |
||