Logic for Computer Science: Foundations of Automatic Theorem Proving,2nd Edition
Dover Inc.; 2nd Revised edition edition (31 Oct. 2014) | English | 9780486780825
finelybookDover Inc.; 2nd Revised edition edition (31 Oct. 2014) | English | 9780486780825
Independently published (5 Nov. 2018) | English | 9781730853937

9781788831000
Mercury Learning & Information (1 July 2016) | English | 9781683922421
Chapman and Hall/CRC; 1 edition (August 15,2018) | English | 9781138480964
9781491944240
Engineering Handbook; 1 edition (16 Jun. 2019) | English
9781492047964
9781492049395
Apress; 1st ed. edition (10 May 2020) | English | 9781484255483