Logic for Computer Science: Foundations of Automatic Theorem Proving,2nd Edition
Dover Inc.; 2nd Revised edition edition (31 Oct. 2014) | English | 9780486780825
Dover Inc.; 2nd Revised edition edition (31 Oct. 2014) | English | 9780486780825
Chapman and Hall/CRC; 1 edition (August 15,2018) | English | 9781138480964
John Wiley & Sons (19 Mar. 2020) | English | 9781119616085
OUP Oxford (8 Mar. 2018) | English | 9780198804390
Focal ; 1 edition (April 8,2020) | English | 9780367186654
English | 10 Mb
9780262533812
McGraw-Hill Education; 27 edition (March 4,2018) | English | 9781260098563
Mc Graw Hill India (21 April 2017) | English | 9789339219680

Cambridge University | 2017 | English | 9781316630419 | PDF | 13 MB