Theories of computability - Pippenger, Nicholas (New York: Cambridge University Press, 1997)
Keywords: Automata; Computability; Logical expressions; Math