Mathematical Logic for Computer Science (2001)

by Ben-Ari Mordechai