Mathematical logic for computer science
Ben-Ari, Mordechai
Mathematical logic for computer science - 2nd ed. - Springer-verlag 2003 - xiv,
81-8128-344-9 495
MATHS
511.3 / BEN
Mathematical logic for computer science - 2nd ed. - Springer-verlag 2003 - xiv,
81-8128-344-9 495
MATHS
511.3 / BEN