Gaya APA

Ryan, Mark D, Huth, Michael. (2002). Logic in computer science : modelling and reasoning about systems . Cambridge: Cambridge University.

Gaya Chicago

Ryan, Mark D, Huth, Michael. Logic in computer science : modelling and reasoning about systems. Cambridge: Cambridge University, 2002. Text.

Gaya MLA

Ryan, Mark D, Huth, Michael. Logic in computer science : modelling and reasoning about systems. Cambridge: Cambridge University, 2002. Text.

Gaya Turabian

Ryan, Mark D, Huth, Michael. Logic in computer science : modelling and reasoning about systems. Cambridge: Cambridge University, 2002. Print.