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