TY  - BOOK
AU  - Kueker,David W.
AU  - López-Escobar,Edgar G.k.
TI  - Mathematical logic and theoretical computer science 
T2  - (Lecture notes in pure and applied mathematics ; )
SN  - 0824777468
AV  - QA9.2 M38 1987
PY  - 1987///
CY  - New York : 
PB  - Marcel Dekker, inc.
KW  - Lemb
KW  - Lógica simbólica y matemática
KW  - Procesamiento de palabras
KW  - lemb
KW  - Álgebra
KW  - Algebra
N1  - Incluye ìndice
ER  -