Logic the basics of correct thinking by Carbon, Vicente S., Gallinero, Winston B., Pajares, Glenn, G.

Logic makes sense by Palmiano, David A.

Logic basic principles of critical thinking by Buñag, Willie A., Angulo, Joselito B., Libarnes, Charmaine Antoniette Adanza

Mechanical logic in three-dimensional space by Auletta, Gennaro

Available for University of the Philippines Diliman via Taylor and Francis. Click here to access
Also available remotely for University of the Philippines Diliman via Taylor and Francis. Click here to access thru EZproxy

Alan Turing his work and impact

Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, revised selected papers

Digital design and computer architecture by Harris, David Money, Harris, Sarah L.

Digital design with an introduction to the Verilog HDL by Mano, M. Morris 1927-, Ciletti, Michael D.

Digital design with an introduction to the Verilog HDL by Mano, M. Morris 1927-

An object-oriented approach to programming logic and design by Farrell, Joyce