01565nam0 22003853i 450 VAN0026895920240806101526.626N978146130897320231218d1987 |0itac50 baengUS|||| |||||Mathematical Logic and Its Applicationsedited by Dimiter G. SkordevNew YorkPlenum1987xiv, 371 p.ill.24 cm00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFAlgorithmsKW:KCut-elimination theoremKW:KLogicKW:KMathematical logicKW:KPredicate logicKW:KProofsKW:KType theoryKW:KUSNew YorkVANL000011SkordevDimiter G.VANV220736Plenum <editore>VANV108321650ITSOL20250314RICAhttps://doi.org/10.1007/978-1-4613-0897-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00268959BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7833 08eMF7833 20231220 Mathematical Logic and Its Applications3654952UNICAMPANIA