Ayala M. Applied Logic for Computer Scientists...2017