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

Logic makes sense af Palmiano, David A.

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

Mechanical logic in three-dimensional space af 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 af Harris, David Money, Harris, Sarah L.

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

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

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