Mathematical logic for computer science
Ben-Ari, Mordechai
Mathematical logic for computer science - 3rd ed. - New York: Springer, 2012. - xv, 346p.
Includes bibliographical references and index
9781447141280
Logic, Symbolic and mathematical
QA 9 .B3955 2012
Mathematical logic for computer science - 3rd ed. - New York: Springer, 2012. - xv, 346p.
Includes bibliographical references and index
9781447141280
Logic, Symbolic and mathematical
QA 9 .B3955 2012