Sipser, Michael Introduction to the Theory of Computation / Michael Sipser - 3rd ed. - Singapore : Cengage Learning, 2013 - 458p ISBN: 9781133187813 Subjects--Topical Terms: Mathematical (Symbolic) logic Dewey Class. No.: 511.3 / SIP