Mathematical logic and theoretical computer science
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
QA9.2 / M38 1987
Incluye ìndice
0824777468
Lógica simbólica y matemática
Procesamiento de palabras
Álgebra
Procesamiento de palabras
Algebra
QA9.2 / M38 1987