APA Style

HUTH, MICHAEL, RYAN, MARK. (2004). Logic in computer science: modelling and reasoning about systems . Kingdom: .

Chicago Style

HUTH, MICHAEL, RYAN, MARK. Logic in computer science: modelling and reasoning about systems. Kingdom: , 2004. TXB.

MLA Style

HUTH, MICHAEL, RYAN, MARK. Logic in computer science: modelling and reasoning about systems. Kingdom: , 2004. TXB.

Turabian Style

HUTH, MICHAEL, RYAN, MARK. Logic in computer science: modelling and reasoning about systems. Kingdom: , 2004. TXB.