Huth, M., Ryan, M.(2004).Logic In Computer Science Modelling and Reasoning about systems (E) Second Edition (Second Edition).New York:Cambridge University Press.
Gaya MLA
Huth, Michael., Ryan, Mark."Logic In Computer Science Modelling and Reasoning about systems (E) Second Edition".Second EditionNew York:Cambridge University Press,2004.Teknik Informatika S1.