(Download PDF) Logic for computer science, Foundations of Automatic Theorem Proving, Jean H. Gallier, Second Edition, Dover Publications

[​IMG]

[​IMG]
Logic for computer science, Foundations of Automatic Theorem Proving, Jean H. Gallier, Second Edition, Dover Publications
533 pages

Báo giá: Bản mềm PDF: 40.000 đ | Mua bản mềm Online: link

Liên hệ: Hotline/Zalo: 0988.674.911 | Email: tailieuso@gmail.com

Bản sách in: Vui lòng liên hệ!