LEADER 02147nam0 22004213i 450 
001 SUN0056893
005 20201006111535.658
010   $a978-05-213-5653-4$d0.00
100   $a20061206d1988       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $a*Introduction to higher order categorical logic$fJ. Lambek, P. J. Scott
210   $aCambridge$cCambridge university$d1988
215   $aX, 293 p.$d24 cm.
410  1$1001SUN0024733$12001 $a*Cambridge studies in advanced mathematics$v7$1210  $aCambridge$cCambridge university.
606   $a18-XX$xCategory theory; homological algebra [MSC 2020]$2MF$3SUNC019745
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03F50$xMetamathematics of constructive systems [MSC 2020]$2MF$3SUNC019808
606   $a18B25$xTopoi [MSC 2020]$2MF$3SUNC020022
606   $a03G30$xCategorical logic, topoi [MSC 2020]$2MF$3SUNC024384
606   $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$2MF$3SUNC024414
606   $a03B16$xHigher-order logic [MSC 2020]$2MF$3SUNC024531
606   $a18D15$xClosed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]$2MF$3SUNC024568
606   $a18A15$xFoundations, relations to logic and deductive systems [MSC 2020]$2MF$3SUNC029553
606   $a03B38$xType theory [MSC 2020]$2MF$3SUNC035911
620   $dCambridge$3SUNL000024
700  1$aLambek$b, J.$3SUNV045095$0725689
701  1$aScott$b, Philip J.$3SUNV045096$0725688
712   $aCambridge university$3SUNV000097$4650
790  1$aScott, Philip Jacob$zScott, Philip J.$3SUNV045097
790  1$aScott, P. J. <Philip Jacob>$zScott, Philip J.$3SUNV059505
801   $aIT$bSOL$c20201012$gRICA
856 4 $uhttps://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=it
912   $aSUN0056893
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2341        $e08   7551      I       20061206            
996   $aIntroduction to higher order categorical logic$91424428
997   $aUNICAMPANIA