LEADER 01124nam0 22002773i 450 001 VAN00098396 005 20240806100709.108 010 $a978-88-348-2756-7 100 $a20140701d2012 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆL'‰ordinamento giudiziario$fMetello Scaparone 210 $aTorino$cGiappichelli$d2012 215 $aXII, 173 p.$d24 cm. 606 $aOrdinamento giudiziario$3VANC029509$2SG 620 $dTorino$3VANL000001 700 1$aScaparone$bMetello$3VANV003502$0268650 712 $aGiappichelli $3VANV107921$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://books.google.it/books?id=xBKsp5USrEIC&printsec=frontcover&hl=it$zhttp://books.google.it/books?id=xBKsp5USrEIC&printsec=frontcover&hl=it 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00098396 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS VIII.Ei.127 $e00DG 2617 20140701 996 $aOrdinamento giudiziario$91081079 997 $aUNICAMPANIA LEADER 02297nam0 22004333i 450 001 VAN00056893 005 20240806100514.608 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$1001VAN00024733$12001 $aCambridge studies in advanced mathematics$1210 $aCambridge$cCambridge university$v7 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B16$xHigher-order logic [MSC 2020]$3VANC024531$2MF 606 $a03B38$xType theory [MSC 2020]$3VANC035911$2MF 606 $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$3VANC024414$2MF 606 $a03F50$xMetamathematics of constructive systems [MSC 2020]$3VANC019808$2MF 606 $a03G30$xCategorical logic, topoi [MSC 2020]$3VANC024384$2MF 606 $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF 606 $a18A15$xFoundations, relations to logic and deductive systems [MSC 2020]$3VANC029553$2MF 606 $a18B25$xTopoi [MSC 2020]$3VANC020022$2MF 606 $a18D15$xClosed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]$3VANC024568$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$c20250124$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 $aVAN00056893 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