LEADER 01273nam2-2200385li-450 
001 990000237270203316
005 20180312154918.0
010   $a0-387-96957-8
035   $a0023727
035   $aUSA010023727
035   $a(ALEPH)000023727USA01
035   $a0023727
100   $a20001109d1990----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aPredicate calculus and program semanitics$fEdsger W. Dijkstra, Carel S. Scholten
210   $aNew York [etc.]$cSpringer-Verlag,copyr. 1990
215   $a220 p.$d25 cm
225 2 $aText and monographs in computer science$v0
410  0$10010023723$12001$aText and monographs in computer science
610 1 $alinguaggi di programmazione$asemantica
676   $a5113$9Logica simbolica (Logica matematica)
700  1$aDijkstra,$bEdsberg Wybe$0746041
702  1$aScholten,$bCarel S.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000237270203316
951   $a511.3 CAR$b0001748
959   $aBK
969   $aTEC
979   $c19920514
979   $c20001110$lUSA01$h1715
979   $c20020403$lUSA01$h1632
979   $aPATRY$b90$c20040406$lUSA01$h1617
996   $aPredicate calculus and program semanitics$91502267
997   $aUNISA