LEADER 01929nam0 22004453i 450 001 VAN00287862 005 20250423021928.135 017 70$2N$a9781461204350 100 $a20250227d1991 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aˆA ‰Proof Theory for General Unification$fWayne Snyder 210 $aBoston$cBirkhäuser$cSpringer$d1991 215 $avii, 178 p.$cill.$d24 cm 410 1$1001VAN00052679$12001 $aProgress in computer science and applied logic$1210 $aBasel [etc.]$cBirkhäuser$v11 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B35$xMechanization of proofs and logical operations [MSC 2020]$3VANC033871$2MF 606 $a03C05$xEquational classes, universal algebra in model theory [MSC 2020]$3VANC022423$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68W30$xSymbolic computation and algebraic computation [MSC 2020]$3VANC019771$2MF 610 $aAlgebra$9KW:K 610 $aLogic$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 620 $dBoston$3VANL000051 700 1$aSnyder$bWayne$3VANV169811$01784053 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250425$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-0435-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00287862 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 10818 $e08eMF10818 20250312 996 $aProof Theory for General Unification$94315076 997 $aUNICAMPANIA