02134nam0 2200433 i 450 VAN0011371120240806100749.627N978331922087120180117d2015 |0itac50 baengCH|||| |||||Towards an arithmetical logicthe arithmetical foundations of logicYvon Gauthier[Cham]BirkhäuserSpringer2015XI, 184 p.ill.24 cm001VAN001039512001 Studies in Universal Logic210 Basel [etc.]Birkhäuser2008-VAN00235320Towards an arithmetical logic : the arithmetical foundations of logic244057601-XXHistory and biography [MSC 2020]VANC021469MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF13F20Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020]VANC021371MF14-XXAlgebraic geometry [MSC 2020]VANC019702MFArithmetical logicKW:KConstructive logicKW:KFermat’s infinite descentKW:KFoundations of mathematicsKW:KKronecker’s general arithmeticKW:KCHChamVANL001889GauthierYvonVANV08780859659Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20241115RICAhttp://dx.doi.org/10.1007/978-3-319-22087-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00113711BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0499 08eMF499 20180117 Towards an arithmetical logic : the arithmetical foundations of logic2440576UNICAMPANIA