TY  - BOOK
AU  - Manna,Zohar
AU  - Waldinger,Richard
TI  - The deductive foundations of computer programming: : a one-volume version of The logical basis for computer programming
SN  - 0201548860
AV  - QA76.6 M36 1993
PY  - 1993///
CY  - Reading, Massachusetts : 
PB  - Addison-Wesley Publishing Company, 
KW  - lemb
KW  - Programacion (Computadores)
KW  - LÃ³gica simbÃ³lica y matemÃ¡tica
N1  - BibliografÃ­a : p. 673-680; Incluye Ã­ndice
ER  -