02147nam0 22004213i 450 SUN005689320201006111535.658978-05-213-5653-40.0020061206d1988 |0engc50 baengGB|||| |||||*Introduction to higher order categorical logicJ. Lambek, P. J. ScottCambridgeCambridge university1988X, 293 p.24 cm.001SUN00247332001 *Cambridge studies in advanced mathematics7210 CambridgeCambridge university.18-XXCategory theory; homological algebra [MSC 2020]MFSUNC01974503-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003F50Metamathematics of constructive systems [MSC 2020]MFSUNC01980818B25Topoi [MSC 2020]MFSUNC02002203G30Categorical logic, topoi [MSC 2020]MFSUNC02438403B40Combinatory logic and lambda-calculus [MSC 2020]MFSUNC02441403B16Higher-order logic [MSC 2020]MFSUNC02453118D15Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]MFSUNC02456818A15Foundations, relations to logic and deductive systems [MSC 2020]MFSUNC02955303B38Type theory [MSC 2020]MFSUNC035911CambridgeSUNL000024Lambek, J.SUNV045095725689Scott, Philip J.SUNV045096725688Cambridge universitySUNV000097650Scott, Philip JacobScott, Philip J.SUNV045097Scott, P. J. <Philip Jacob>Scott, Philip J.SUNV059505ITSOL20201012RICAhttps://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=itSUN0056893UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2341 08 7551 I 20061206 Introduction to higher order categorical logic1424428UNICAMPANIA