کتاب زبان اصلی Logical Foundations of Mathematics and Computational Complexity Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction مبانی منطقی ریاضیات و پیچیدگی محاسباتی مقدمه ای آرام اثر Pavel Pudlak پاول پودلاک کتابی است که در سال 2013 منتشر شده و به بررسی پیوند بین مبانی منطقی ریاضیات و پیچیدگی محاسباتی می پردازد نویسنده این کتاب پاول پودلاک استاد ریاضیات دانشگاه چارلز در پراگ است این کتاب به مباحثی همچون نظریه های اثبات پذیری الگوریتم ها پیچیدگی zp و ارتباط آن ها با منطق ریاضی می پردازد کتاب با زبانی ساده برای دانشجویان و محققان حوزه ی منطق و نظریه ی محاسبات نوشته شده  است