01273nam2-2200385li-450 99000023727020331620180312154918.00-387-96957-80023727USA010023727(ALEPH)000023727USA01002372720001109d1990----km-y0itay0103----baengUSPredicate calculus and program semaniticsEdsger W. Dijkstra, Carel S. ScholtenNew York [etc.]Springer-Verlag,copyr. 1990220 p.25 cmText and monographs in computer science000100237232001Text and monographs in computer sciencelinguaggi di programmazionesemantica5113Logica simbolica (Logica matematica)Dijkstra,Edsberg Wybe746041Scholten,Carel S.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000237270203316511.3 CAR0001748BKTEC1992051420001110USA01171520020403USA011632PATRY9020040406USA011617Predicate calculus and program semanitics1502267UNISA