کتاب زبان اصلی Essential Logic for Computer Science  منطق ضروری برای علوم کامپیوتر Essential Logic for Computer Science نوشته رکس پیج و روبن گامبوآ کتابی است که در سال 2020 میلادی منتشر شده است x000D   x000D  این کتاب مفاهیم منطقی مورد نیاز در علوم کامپیوتر از جمله منطق گزاره ای منطق گزاره ای ترتیبی اثبات و نتیجه گیری نظریه مجموعه ها و غیره را تشریح می کند کتاب حاوی مثال ها و تمرین های فراوانی برای تثبیت یادگیری است x000D   x000D  این کتاب به زبانی ساده برای دانشجویان علوم کامپیوتر در سطوح مقدماتی و پیشرفته تدوین شده است برای درک بهتر مبانی منطقی مورد نیاز در علوم کامپیوتر مفید است x000D   x000D