Mathematical logic for computer science
Ari, Mordechai Ben
Mathematical logic for computer science Mordechai Ben Ari - 23 - Springer-Verlag, London 2008 - - .
Mathematical logic-- Mathematics
511.3 ARI-M2
Mathematical logic for computer science Mordechai Ben Ari - 23 - Springer-Verlag, London 2008 - - .
Mathematical logic-- Mathematics
511.3 ARI-M2