LEADER 01522nam0 22003733i 450 001 VAN00283757 005 20241206091032.702 010 $a978-04-86450-26-1 100 $a20241206d2006 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aTopoi$ethe categorical analysis of logic$fRobert Goldblatt 205 $aRev. ed 210 $aNew York$cDover$d2006 215 $axx, 551 p.$cill.$d22 cm 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F55$xIntuitionistic mathematics [MSC 2020]$3VANC033863$2MF 606 $a03G30$xCategorical logic, topoi [MSC 2020]$3VANC024384$2MF 606 $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF 606 $a18B25$xTopoi [MSC 2020]$3VANC020022$2MF 620 $aUS$dNew York$3VANL000011 700 1$aGoldblatt$bRobert$3VANV041791$047246 712 $aDover $3VANV108158$4650 801 $aIT$bSOL$c20251107$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Topoi. The Categorial Analysis of Logic.pdf$zTopoi. The Categorial Analysis of Logic.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00283757 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 1665 $e08DMF1015 II 20241206 996 $aTopoi$92250701 997 $aUNICAMPANIA