01656nam0 22003733i 450 VAN025665520230830123833.910N978354037442820230405d1975 |0itac50 baengDE|||| |||||Tableau Systems for First Order Number Theory and Certain Higher Order TheoriesSue ToledoBerlinSpringer1975339 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer44703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C60Model-theoretic algebra [MSC 2020]VANC023964MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFNumber theoryKW:KPredicate calculusKW:KProof TheoryKW:KProofsKW:KBerlinVANL000066ToledoSue AnnVANV210123537111Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0062936E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0256655BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5918 08eMF5918 20230627 Tableau systems for first order number theory and certain higher order theories919148UNICAMPANIA