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