Theory of computation - Sipser, Michael (Australia Cengage Learning, 2007)
Keywords: General principles of mathematics