Sipser, Michael

Introduction to the Theory of Computation / Michael Sipser - 3rd ed. - Singapore : Cengage Learning, 2013 - 458p

9781133187813


Mathematical (Symbolic) logic

511.3 / SIP