Logic, Mathematics, and Computer Science

Descubre cómo la lógica formal se integra con las matemáticas discretas y la informática moderna; este libro ofrece teoría avanzada acompañada de ejercicios reales que ilustran algoritmos, estructuras de datos y pruebas formales.

Compartir: