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