The essence of logic - Kelly, John J. (Essence of computing series, 1997)