Huth, M., & Ryan, M. [ca. 2009]. Logic in computer science : modelling and reasoning about systems (2. ed., 5. print. with corr.. Aufl.) [Book]. Cambridge [u.a.]: Univ. Press.

HUTH, Michael und RYAN, Mark, 2009. Logic in computer science : modelling and reasoning about systems. 2. ed., 5. print. with corr. Cambridge [u.a.]: Univ. Press. ISBN 052154310 X.

Huth, M., und M. Ryan. Logic in computer science : modelling and reasoning about systems. 2. ed., 5. print. with corr. Aufl., book, Univ. Press, 2009.

Huth, Michael/Ryan, Mark: Logic in computer science : modelling and reasoning about systems, 2. ed., 5. print. with corr. Aufl. Cambridge [u.a.] 2009.

Huth, M. und Ryan, M. (2009), Logic in computer science : modelling and reasoning about systems, 2. ed., 5. print. with corr.. Aufl., Bd. , Univ. Press, Cambridge [u.a.].