LEADER 01597nam0 2200373 i 450 001 VAN0086839 005 20211110043644.189 017 70$2N$a9783642217746 100 $a20120125d2011 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aFrom objects to diagrams for ranges of functors$fPierre Gillibert, Friedrich Wehrung 210 $aBerlin$cSpringer$d2011 215 $aX, 158 p.$cill.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v2029 500 1$3VAN0234253$aFrom objects to diagrams for ranges of functors$9759111 606 $a18Axx$xGeneral theory of categories and functors [MSC 2020]$3VANC024564$2MF 610 $aCategory$9KW:K 610 $aCondensate$9KW:K 610 $aLarder$9KW:K 610 $aLifter$9KW:K 620 $dBerlin$3VANL000066 700 1$aGillibert$bPierre$3VANV071071$0478958 701 1$aWehrung$bFriedrich$3VANV071072$0512591 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-21774-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0086839 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book $e08LNM2029 20120125 996 $aFrom objects to diagrams for ranges of functors$9759111 997 $aUNICAMPANIA LEADER 02123nam0 2200433 i 450 001 VAN0113711 005 20230706121518.913 017 70$2N$a9783319220871 100 $a20180117d2015 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aTowards an arithmetical logic$ethe arithmetical foundations of logic$fYvon Gauthier 210 $a[Cham]$cBirkhäuser$cSpringer$d2015 215 $aXI, 184 p.$cill.$d24 cm 410 1$1001VAN0103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser 500 1$3VAN0235320$aTowards an arithmetical logic : the arithmetical foundations of logic$92440576 606 $a14-XX$xAlgebraic geometry [MSC 2020]$3VANC019702$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a13F20$xPolynomial rings and ideals; rings of integer-valued polynomials [MSC 2020]$3VANC021371$2MF 606 $a01-XX$xHistory and biography [MSC 2020]$3VANC021469$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 610 $aArithmetical logic$9KW:K 610 $aConstructive logic$9KW:K 610 $aFermat?s infinite descent$9KW:K 610 $aFoundations of mathematics$9KW:K 610 $aKronecker?s general arithmetic$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aGauthier$bYvon$3VANV087808$059659 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-22087-1$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0113711 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0499 $e08eMF499 20180117 996 $aTowards an arithmetical logic : the arithmetical foundations of logic$92440576 997 $aUNICAMPANIA