Huth & Ryan, . (2005). Logic In Computer Science. New York: Cambridge.
Huth & Ryan, . 2005. Logic In Computer Science. New York: Cambridge.
Huth & Ryan, . Logic In Computer Science. New York: Cambridge. 2005.