LEADER 02292nam0 22004333i 450 001 VAN0056893 005 20240214015132.4 010 $a978-05-213-5653-4 100 $a20061206d1988 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aIntroduction to higher order categorical logic$fJ. Lambek, P. J. Scott 210 $aCambridge$cCambridge university$d1988 215 $aX, 293 p.$d24 cm 410 1$1001VAN0024733$12001 $aCambridge studies in advanced mathematics$1210 $aCambridge$cCambridge university$v7 606 $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F50$xMetamathematics of constructive systems [MSC 2020]$3VANC019808$2MF 606 $a18B25$xTopoi [MSC 2020]$3VANC020022$2MF 606 $a03G30$xCategorical logic, topoi [MSC 2020]$3VANC024384$2MF 606 $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$3VANC024414$2MF 606 $a03B16$xHigher-order logic [MSC 2020]$3VANC024531$2MF 606 $a18D15$xClosed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]$3VANC024568$2MF 606 $a18A15$xFoundations, relations to logic and deductive systems [MSC 2020]$3VANC029553$2MF 606 $a03B38$xType theory [MSC 2020]$3VANC035911$2MF 620 $dCambridge$3VANL000024 700 1$aLambek$bJoachim$3VANV045095$056983 701 1$aScott$bPhilip J.$3VANV045096$0725688 712 $aCambridge university $3VANV107986$4650 790 1$aScott, Philip Jacob$zScott, Philip J.$3VANV045097 790 1$aScott, P. J. $zScott, Philip J.$3VANV059505 801 $aIT$bSOL$c20240216$gRICA 856 4 $uhttps://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=it$zhttps://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=it 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0056893 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2341 $e08 7551 I 20061206 996 $aIntroduction to higher order categorical logic$93008075 997 $aUNICAMPANIA