Logic for Computer Science

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition 1st 版 著者: Jean H. Gallier 出版 Dover Publications. 以下のデジタルおよびeTextbook ISBNs: Logic for Computer Science : 9780486805085, 0486805085 および 印刷版のISBNは 9780486780825, 0486780821. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition 1st 版 著者: Jean H. Gallier 出版 Dover Publications. 以下のデジタルおよびeTextbook ISBNs: Logic for Computer Science : 9780486805085, 0486805085 および 印刷版のISBNは 9780486780825, 0486780821. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。