کتاب زبان اصلی Mathematical Logic for Computer Science  اثر Chungwan Lu معرفی محصول Mathematical Logic for Computer Science منطق ریاضی برای علوم کامپیوتراثر تشونگوون لو x000D  کتاب منطق ریاضی برای علوم کامپیوتر نوشته چونگوان لو در سال 2012 منتشر شده است این کتاب به بررسی اصول و مبانی منطق ریاضی و کاربرد آن در علوم کامپیوتر می پردازد نویسنده در این اثر مفاهیم پایه ای منطق گزاره ای و منطق پیش نمادی را به زبان ساده تشریح کرده و سپس به بررسی کاربردهای آن در زمینه هایی همچون طراحی مدارهای منطقی زبان های برنامه نویسی و تئوری الگوریتم ها می پردازد این کتاب به عنوان مرجعی مناسب برای دانشجویان و محققان علوم کامپیوتر در زمینه منطق ریاضی شناخته می شود x000D   x000D