Mathematical Logic For Computer Science (2nd Edition) - e-bok, Engelska, 1998