01210nam--2200373---450-9900006168502033160061685USA010061685(ALEPH)000061685USA01006168520010910d1982----km-y0itay0103----baengNL||||||||001yyCombinatorial and geometric structures and their applicationsedited by A. BarlottiAmsterdamNorth-Holland Publishing Company1982VIII, 292 p.23 cmNorth-Holland Mathematics Studies63Annals of Discrete Mathematics142001North-Holland Mathematics Studies63Annals of Discrete Mathematics14Geometria combinatoria511.6BARLOTTI,AdrianoITsalbcISBD990000616850203316510 ADM 146408 CBS51000108004BKSCIPATTY9020010910USA01135420020403USA011711PATRY9020040406USA011643Combinatorial and geometric structures and their applications78886UNISA02123nam0 2200433 i 450 VAN011371120230706121518.913N978331922087120180117d2015 |0itac50 baengCH|||| |||||Towards an arithmetical logicthe arithmetical foundations of logicYvon Gauthier[Cham]BirkhäuserSpringer2015XI, 184 p.ill.24 cm001VAN01039512001 Studies in Universal Logic210 Basel [etc.]BirkhäuserVAN0235320Towards an arithmetical logic : the arithmetical foundations of logic244057614-XXAlgebraic geometry [MSC 2020]VANC019702MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF13F20Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020]VANC021371MF01-XXHistory and biography [MSC 2020]VANC021469MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MFArithmetical logicKW:KConstructive logicKW:KFermat’s infinite descentKW:KFoundations of mathematicsKW:KKronecker’s general arithmeticKW:KCHChamVANL001889GauthierYvonVANV08780859659Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://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-CE0120VAN08NVAN0113711BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0499 08eMF499 20180117 Towards an arithmetical logic : the arithmetical foundations of logic2440576UNICAMPANIA