Discrete mathematics and its applications/ Kenneth H. Rosen ; global edition adapted by Kamala Krithivasan

Lectures on the logic of computer programming

Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings

Charles Babbage : pioneer of the computer / Anthony Hyman.

Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor