Manna, Zohar. Lectures on the logic of computer programming - Filadelfia, Estados Unidos SIAM 1980 - 49 p. 26 cm. - (5952) ; 31 . Bibliografía: p. 49 ISBN: 0-89871-164-9 Subjects--Topical Terms: LOGICA MATEMATICAPROGRAMACION (COMPUTACION) Dewey Class. No.: 005.1/M315l