Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB
What is Mathematical Logic? (Dover Books on Mathematics) by C. J. Ash, J. N. Crossley, C. J. Brickhill English | September 20, 2010 | ISBN: 0486264041 | 96 pages | MOBI | 4.10 Mb