TY  - BOOK
AU  - Manna,Zohar
AU  - Waldinger,Richard
TI  - The deductive foundations of computer programming
T2  - Artificial intelligence
SN  - 0-201-54886-0
PY  - 1993///
CY  - Reading, Massachusetts [etc.]
PB  - Addison-Wesley
KW  - Programación de ordenadores
KW  - Lógica, simbólica y matemática
N1  - Es una versión del vol. 1 de "The logical basis for computer programming"
ER  -