01683nam0 22004453i 450 VAN0028774620250422103439.106N978146130609220250226d1990 |0itac50 baengUS|||| |||||i e bcrMathematical LogicEdited by Petio Petrov PetkovNew YorkPlenum1990x, 412 p.ill.24 cm00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFArithmeticKW:KEquivalenceKW:KLogicKW:KMathematical logicKW:KModal LogicKW:KPredicate logicKW:KSequent CalculusKW:KSet TheoryKW:KUSNew YorkVANL000011PetkovPetio P.VANV242294340Plenum <editore>VANV108321650Petkov, Petio PetrovPetkov, Petio P.VANV242295ITSOL20250530RICAhttps://doi.org/10.1007/978-1-4613-0609-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00287746BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10776 08eMF10776 20250312 Mathematical logic55352UNICAMPANIA