American Psychological Association 6th edition

Huth, M., & Ryan, M. [ca. 2000]. Logic in computer science : modelling and reasoning about systems [Book]. Cambridge [u.a.]: Cambridge Univ. Press.

ISO-690 (author-date, English)

HUTH, Michael und RYAN, Mark, 2000. Logic in computer science : modelling and reasoning about systems. Cambridge [u.a.]: Cambridge Univ. Press. ISBN 0521652006.

Modern Language Association 9th edition

Huth, M., und M. Ryan. Logic in computer science : modelling and reasoning about systems. book, Cambridge Univ. Press, 2000.

Mohr Siebeck - Recht (Deutsch - Österreich)

Huth, Michael/Ryan, Mark: Logic in computer science : modelling and reasoning about systems, Cambridge [u.a.] 2000.

Emerald - Harvard

Huth, M. und Ryan, M. (2000), Logic in computer science : modelling and reasoning about systems, Bd. , Cambridge Univ. Press, Cambridge [u.a.].

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.