کتاب Sipser : یک کتاب ساده در سطح کارشناسی که می تونید اطلاعات خوبی در مورد ماشین تورینگ و تا حدی نظریه ی محاسبات بدست بیارید .
کتاب Cooper : یک کتاب خوب در زمینه ی نظریه ی محاسبه پذیری ، مساله ی دهم هیلبرت و قضیه ی ناتمامیت گودل و ... . این کتاب در سطح ارشد و دکتری تدریس می شه .
ادامه ی کتاب ها، جزوه ها و مقاله ها در روز های آینده قرار خواهد گرفت.