Logic in computer science : modelling and reasoning about systems
av Michael Huth
Häftad, Upplaga 2, 2004
Bok, 2000