کتاب Logical Foundations of Mathematics and Computational Complexity اثر Pavel Pudlak انتشارات Springer

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