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