Mathematical logic for computer science
Ben-Ari, Mordechai
Mathematical logic for computer science - 3rd ed.- - New York: Springer, 2012 - xv,346p.: ill.; 23cm.
Include index
978-1-447-4128-0
Logic symbolic and mathematical
MATH QA9.B39 2012
Mathematical logic for computer science - 3rd ed.- - New York: Springer, 2012 - xv,346p.: ill.; 23cm.
Include index
978-1-447-4128-0
Logic symbolic and mathematical
MATH QA9.B39 2012