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

Powered by Koha