LEADER 01081nam2-2200361li-450 
001 990000125810203316
005 20180312154821.0
010   $a0-8176-3593-9
035   $a0012581
035   $aUSA010012581
035   $a(ALEPH)000012581USA01
035   $a0012581
100   $a20001109d1991----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $a<<A>> proof theory for general unification$fWagner Snyder
210   $aBoston [etc.]$cBirkauser$d1991
225 2 $aProgress in computer science$v11
410  0$10010012580$12001$aProgress in computer science
610 1 $alogica matematica
676   $a511.3$9.
700  1$aSnyder,$bWagner$0753883
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000125810203316
951   $a511.3 SNY$b0002496
959   $aBK
969   $aTEC
979   $c19950123
979   $c20001110$lUSA01$h1711
979   $c20020403$lUSA01$h1620
979   $aPATRY$b90$c20040406$lUSA01$h1609
996   $aProof theory for general unification$91516648
997   $aUNISA