01929nam0 22004453i 450 VAN0028786220250423021928.135N978146120435020250227d1991 |0itac50 baengUS|||| |||||i e bcrˆA ‰Proof Theory for General UnificationWayne SnyderBostonBirkhäuserSpringer1991vii, 178 p.ill.24 cm001VAN000526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser1103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B35Mechanization of proofs and logical operations [MSC 2020]VANC033871MF03C05Equational classes, universal algebra in model theory [MSC 2020]VANC022423MF68-XXComputer science [MSC 2020]VANC019670MF68W30Symbolic computation and algebraic computation [MSC 2020]VANC019771MFAlgebraKW:KLogicKW:KProof TheoryKW:KProofsKW:KBostonVANL000051SnyderWayneVANV1698111784053Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20250425RICAhttps://doi.org/10.1007/978-1-4612-0435-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00287862BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10818 08eMF10818 20250312 Proof Theory for General Unification4315076UNICAMPANIA