01838nam2 22004333i 450 VAN0026339520240806101512.51N978354039119720230918d1984 |0itac50 baengGERDE|||| |||||ˆPart 2.: ‰Computation and Proof Theoryedited by Egon Börger ... [et al.]BerlinSpringer1984x, 482 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer1104001VAN002633962001 Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983210 BerlinSpringer1984215 2 volumi p.24 cm200BxxConference proceedings and collections of articles [MSC 2020]VANC021742MF68-XXComputer science [MSC 2020]VANC019670MFComputationKW:KEquationsKW:KEquivalenceKW:KFiniteKW:KMathematical logicKW:KMathematicsKW:KProof TheoryKW:KProofsKW:KRecursionKW:KBerlinVANL000066BörgerEgonVANV143798Springer <editore>VANV108073650ITSOL20250829RICAhttps://doi.org/10.1007/BFb0099476E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00263395BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6648 08eMF6648 20230927 Computation and proof theory262578UNICAMPANIA