English Beginner Computational complexity: A modern approach Sanjeev Arora,Boaz Barak 2009 مشاهدهٔ کتاب
English Beginner Introduction to Mathematical Logic, Volume 1. Princeton Mathematical Series (Pt.1) Alonzo Church 1956 مشاهدهٔ کتاب
English Beginner The structure and development of mathematical theories. Modern Logic Burgin M.S.,Kuznetsov V.I. مشاهدهٔ کتاب