01522nam0 22003733i 450 VAN0028375720241206091032.702978-04-86450-26-120241206d2006 |0itac50 baengUS|||| |||||i e nncTopoithe categorical analysis of logicRobert GoldblattRev. edNew YorkDover2006xx, 551 p.ill.22 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F55Intuitionistic mathematics [MSC 2020]VANC033863MF03G30Categorical logic, topoi [MSC 2020]VANC024384MF18-XXCategory theory; homological algebra [MSC 2020]VANC019745MF18B25Topoi [MSC 2020]VANC020022MFUSNew YorkVANL000011GoldblattRobertVANV04179147246Dover <editore>VANV108158650ITSOL20251107RICA/sebina/repository/catalogazione/documenti/Topoi. The Categorial Analysis of Logic.pdfTopoi. The Categorial Analysis of Logic.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00283757BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1665 08DMF1015 II 20241206 Topoi2250701UNICAMPANIA