01563nam0 22003853i 450 VAN026895920240411120138.187N978146130897320231218d1987 |0itac50 baengUS|||| |||||Mathematical Logic and Its Applicationsedited by Dimiter G. SkordevNew YorkPlenum1987xiv, 371 p.ill.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MFAlgorithmsKW:KCut-elimination theoremKW:KLogicKW:KMathematical logicKW:KPredicate logicKW:KProofsKW:KType theoryKW:KUSNew YorkVANL000011SkordevDimiter G.VANV220736Plenum <editore>VANV108321650ITSOL20240412RICAhttps://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-CE0120VAN08NVAN0268959BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7833 08eMF7833 20231220 Mathematical Logic and Its Applications3654952UNICAMPANIA