Matemáticas para informática /
Ismael Gutiérrez García
- 1° Ed.
- 188 páginas ; 24 cm.
Factura Educativa, incluye Cd.
Parte I: Logica matematica: 1.-Calculo proposcional 2.-Introduccion a la logica de primer orden Parte II: Teoria de conjuntos: 3.-El sistema axiomatico ZF