Gaya APA

Huth, Michael, Ryan, Mark. (2014). Logic in computer science : modelling and reasoning about systems (2nd ed.). New York: Cambridge University Press.

Gaya Chicago

Huth, Michael, Ryan, Mark. Logic in computer science : modelling and reasoning about systems. 2nd ed. New York: Cambridge University Press, 2014. Text.

Gaya MLA

Huth, Michael, Ryan, Mark. Logic in computer science : modelling and reasoning about systems. 2nd ed. New York: Cambridge University Press, 2014. Text.

Gaya Turabian

Huth, Michael, Ryan, Mark. Logic in computer science : modelling and reasoning about systems. 2nd ed. New York: Cambridge University Press, 2014. Print.