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
Foundations of Mathematical Logic (Dover Books on Mathematics) by Haskell B. Curry English | October 21, 2010 | ISBN: 0486634620 | 416 pages | PDF | 8.50 Mb