02292nam0 22004333i 450 VAN005689320240214015132.4978-05-213-5653-420061206d1988 |0itac50 baengGB|||| |||||Introduction to higher order categorical logicJ. Lambek, P. J. ScottCambridgeCambridge university1988X, 293 p.24 cm001VAN00247332001 Cambridge studies in advanced mathematics210 CambridgeCambridge university718-XXCategory theory; homological algebra [MSC 2020]VANC019745MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F50Metamathematics of constructive systems [MSC 2020]VANC019808MF18B25Topoi [MSC 2020]VANC020022MF03G30Categorical logic, topoi [MSC 2020]VANC024384MF03B40Combinatory logic and lambda-calculus [MSC 2020]VANC024414MF03B16Higher-order logic [MSC 2020]VANC024531MF18D15Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]VANC024568MF18A15Foundations, relations to logic and deductive systems [MSC 2020]VANC029553MF03B38Type theory [MSC 2020]VANC035911MFCambridgeVANL000024LambekJoachimVANV04509556983ScottPhilip J.VANV045096725688Cambridge university <editore>VANV107986650Scott, Philip JacobScott, Philip J.VANV045097Scott, P. J. <Philip Jacob>Scott, Philip J.VANV059505ITSOL20240216RICAhttps://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=ithttps://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=itBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0056893BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2341 08 7551 I 20061206 Introduction to higher order categorical logic3008075UNICAMPANIA