کتاب Popular Lectures on Mathematical Logic اثر Hao Wang انتشارات Van Nostrand Reinhold Co.

کتاب Popular Lectures on Mathematical Logic (سخنرانی‌های عمومی در منطق ریاضی) نوشته Hao Wang در سال 1981 میلادی منتشر شده است. این کتاب مجموعه‌ای از سخنرانی‌های غیرفنی درباره مباحث اساسی منطق ریاضی و کاربرد آن در علوم کامپیوتر و هوش مصنوعی است. نویسنده با زبانی ساده و بدون استفاده از فرمول‌های پیچیده ریاضی، مفاهیم پایه‌ای منطق مانند گزاره‌ها، استنتاج منطقی، الگوریتم‌ها و توابع منطقی را توضیح می‌دهد. این کتاب برای عموم علاقه‌مندان به درک بهتر منطق ریاضی و کاربردهای آن مفید است.