Mathematical logic for computer science

Ben-Ari, Mordechai

Mathematical logic for computer science by Mordechai Ben-Ari - Tercera edición - London Springer London 2012 - xv, 346 páginas


Texto en inglés

9781447141280 (3a.Ed.) 9781447141297

10.1007/978-1-4471-4129-7 doi

1023424096 DE-101


Lenguajes de programación
Programación evolutiva (Computación)
Lógica simbólica y matemática