01000nam a2200325 i 450099100111561970753620020507111502.0970308s1960 ne ||| | eng b10175805-39ule_instLE00642412ExLDip.to Fisicaita4(038):5420430440482539.703Bene, G.463070Nuclear physics and atomic energy /G.J. Bene, R. Beeler, M. GolubAmsterdam :Elsevier,1960viii, 213 p. ;20 cm.Nuclear physicsBeeler, R.Golub, M..b1017580521-09-0627-06-02991001115619707536LE006 4(038) BEN12006000014984le006-E0.00-l- 00000.i1021554227-06-02Nuclear physics and atomic energy189399UNISALENTOle00601-01-97ma -engne 0101656nam0 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