LEADER 01088nam0-22003371i-450-
001 990001093750403321
010   $a0-13-561465-1
035   $a000109375
035   $aFED01000109375
035   $a(Aleph)000109375FED01
035   $a000109375
100   $a20000920d1985----km-y0itay50------ba
101 0 $aeng
200 1 $aMathematical Logic and Programming Languages$fedited by C.A.R. Hoare and J.C. Shepherdson
210   $aEnglewood Cliffs [etc.]$cPrentice-Hall$d1985
215   $a184 p.$d24 cm
225 1 $aPrentice-Hall international series in computer science
300   $aFirst published in the "Philosophical Transactions of the Royal Society", Series A, Volume 312, 1984.
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aHoare,$bCharles Antony Richard$0567
702  1$aShepherdson,$bJ.C.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001093750403321
952   $a7-264$b16640$fFI1
959   $aFI1
996   $aMathematical Logic and Programming Languages$9335237
997   $aUNINA
DB    $aING01