01081nam2-2200361li-450 99000012581020331620180312154821.00-8176-3593-90012581USA010012581(ALEPH)000012581USA01001258120001109d1991----km-y0itay0103----baengUS<<A>> proof theory for general unificationWagner SnyderBoston [etc.]Birkauser1991Progress in computer science1100100125802001Progress in computer sciencelogica matematica511.3.Snyder,Wagner753883Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000125810203316511.3 SNY0002496BKTEC1995012320001110USA01171120020403USA011620PATRY9020040406USA011609Proof theory for general unification1516648UNISA