TY  - BOOK
AU  - Manna,Zohar
TI  - Lectures on the logic of computer programming
T2  - (5952) ; 31
SN  - 0-89871-164-9
U1  - 005.1/M315l 
PY  - 1980///
CY  - Filadelfia, Estados Unidos 
PB  - SIAM
KW  - LOGICA MATEMATICA
KW  - PROGRAMACION (COMPUTACION)
N1  - Bibliografía: p. 49
ER  -