An Introduction to Computability Theory: Decidability and Reducibility

نظریه زبان‌ها و ماشین‌ها,نظریه محاسبه,محاسبه‌پذیری