(Review 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

Tham khảo: BIG_ E.HPDE: 4_4…. đ | Tham khảo Review: link

Liên hệ: Hotline/Zalo: 0328.028.101 | Email: [email protected]

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