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

Truth, syntax and modality : proceedings of the temple university conference on alternative semantics / Edited by Hugues Leblanc

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.