Mathematical logic for computer science
"Ben-Ari, Mordechai"
Mathematical logic for computer science - 2 - London Springer 2001 - "xiv,304p. ;23.5cm."
includes bibliography and index
1852333197
"Logic, Symbolic and mathematical"
Computer logic
Computer science --Mathematics
Mathematical logic for computer science - 2 - London Springer 2001 - "xiv,304p. ;23.5cm."
includes bibliography and index
1852333197
"Logic, Symbolic and mathematical"
Computer logic
Computer science --Mathematics