Ben-Ari, Mordechai.
Mathematical Logic for Computer Science - 2nd - London Springer 2001 - 304
1-85233-319-7
Logic, Symbolic and Mathematical
510.6 BEN
Mathematical Logic for Computer Science - 2nd - London Springer 2001 - 304
1-85233-319-7
Logic, Symbolic and Mathematical
510.6 BEN