Logic for Computer Science

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition 1st الإصدار تمت الكتابة بواسطة Jean H. Gallier وتم النشر بواسطة Dover Publications. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic for Computer Science هي 9780486805085, 0486805085 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9780486780825, 0486780821. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition 1st الإصدار تمت الكتابة بواسطة Jean H. Gallier وتم النشر بواسطة Dover Publications. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic for Computer Science هي 9780486805085, 0486805085 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9780486780825, 0486780821. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.