Gaya APA

HUTH, M. (2004). (E-BOOK - SISTEM INFORMASI - TEKNIK INFORMATIKA) Logic in Computer Science Modelling and Reasoning about Systems (1). New York: Cambridge University Press.

Gaya MLA

HUTH, MICHAEL. "(E-BOOK - SISTEM INFORMASI - TEKNIK INFORMATIKA) Logic in Computer Science Modelling and Reasoning about Systems". 1 New York: Cambridge University Press, 2004. Computer File.