Sipser, Michael

Introduction to the Theory of Computation Michael Sipser - Singapore Thomson 2001


General principles of mathematics
Mathematical logic

511.3 / S618