Mathematical logic for computer science

Bok av Mordechai Ben-Ari