LEADER 01100nam0-2200361li-450 
001 990000149620203316
005 20180312154740.0
010   $a0-262-15028-X
035   $a0014962
035   $aUSA010014962
035   $a(ALEPH)000014962USA01
035   $a0014962
100   $a20001109d1986----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aEquational logic as a programming language$fMichael J. O'Donnell
210   $aCambrdige (Mass.) ; London (England)$cMIT Press$dcopyr. 1986
610 1 $alinguaggi di programmazione
610 1 $alogica matematica
610 1 $alogica simbolica
676   $a005.131$9.
700  1$aO'Donnell,$bMichael J.$0746976
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000149620203316
951   $a005.131 ODO$b0006293
959   $aBK
969   $aTEC
979   $c19951122
979   $c20001110$lUSA01$h1712
979   $c20020403$lUSA01$h1622
979   $aPATRY$b90$c20040406$lUSA01$h1611
996   $aEquational logic as a programming language$91491671
997   $aUNISA