دانلود کتاب Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)
by R. E. Davis
|
عنوان فارسی: حقیقت، استنباط و محاسبات: منطق و معانی برای علم کامپیوتر (اصول علوم کامپیوتر سری) |