Huth, M., & Ryan, M. [ca. 2004]. Logic in computer science : modelling and reasoning about systems (2. ed.) [Book]. Cambridge: Cambridge University Press.

HUTH, Michael und RYAN, Mark, 2004. Logic in computer science : modelling and reasoning about systems. 2. ed. Cambridge: Cambridge University Press. ISBN 052154310 X.

Huth, M., und M. Ryan. Logic in computer science : modelling and reasoning about systems. 2. ed., book, Cambridge University Press, 2004.

Huth, Michael/Ryan, Mark: Logic in computer science : modelling and reasoning about systems, 2. ed. Aufl. Cambridge 2004.

Huth, M. und Ryan, M. (2004), Logic in computer science : modelling and reasoning about systems, 2. ed., Bd. , Cambridge University Press, Cambridge.