TY  - BOOK
AU  - Thomason, Richmond H
TI  - Philosophical logic and artificial intelligence
SN  - 0-7923-0415-2
AV  - BC 71 P54.1989
PY  - 1989///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Lógica
KW  - Inteligencia artificial
N1  - am, mlmg; Developed from the Journal of philosophical logic, volume 17, no. 4, November 1988 -- T.p. verso; Incluye referencias después de cada capítulo
ER  -