LEADER 01112nam--2200373---450-
001 990000371910203316
010   $a0-387-98417-8
035   $a0037191
035   $aUSA010037191
035   $a(ALEPH)000037191USA01
035   $a0037191
100   $a20010323d1988----km-y0itay0103----ba
101   $aeng
102   $aUS
105   $a||||||||001yy
200 1 $aRefinement calculus$ea systematics introduction$fRalph-Johan Back, Joackim von Wright
210   $aNew York$cSpringer$dc1988
215   $aXV, 519 p.$d24 cm
225 2 $aGraduate texts in computer science
410   $12001$aGraduate texts in computer science
461  1$1001-------$12001
676   $a005.14
700  1$aBACK,$bRalph-Johan$0543932
701  1$aWRIGHT,$bJoakim, von$0543933
801  0$aIT$bsalbc$gISBD
912   $a990000371910203316
951   $a005.14 BAC$b10544 Ing$c005.14 BAC
959   $aBK
969   $aTEC
979   $aPATTY$b90$c20010323$lUSA01$h1125
979   $c20020403$lUSA01$h1645
979   $aPATRY$b90$c20040406$lUSA01$h1626
996   $aRefinement calculus$9877545
997   $aUNISA