Logic for Computer Science Reeves, Steve creator (autor) Clarke, Michael (autor) text monographic ING 260 p. Este libro es una introducción a los fundamentos de la Lógica para los interesados en programación computacional. 2016 BO Licenciatura en Ingeniería en Sistemas Computacionales Acreditación 2016 BO Licenciatura en Ingeniería en Redes y Telecomunicaciones Acreditación S. Reeves, M. Clarke. XX Ingeniería Computacional Programación (Software) 005. 131 REE 0-201-41643-3 Acervo ITESO - Biblioteca 20260814000000.0 000035866