Mathematical Logic For Computer Science - Ben Ari (Springer Berlin, 2005)