Mathematical logic and theoretical computer science
/ Edited by David W. Kueker, Edgar Lopez-Escobar, Carl H. Smith.
- 1a ed.
- New York : Marcel Dekker, inc. 1987
- xviii, 383 p. : ěl.; 25 cm.
- (Lecture notes in pure and applied mathematics ; ) V. 106 .
Incluye ěndice
0824777468
Lógica simbólica y matemática Procesamiento de palabras Álgebra Procesamiento de palabras Algebra