Mathematical Logic and Programming - Hardcover, by Hoare C. A.

Mathematical Logic

Mathematicsal Logic And Programming Languages, C.A.R. Prentice-Hall, 1985

Programming Language Syntax Semantics (Prentice-Hall International... - Watt

Mathematical Logic and Programming Languages (Prentice-Hall Inte

Sets, Logic and Maths for Computing - Paperback, by Makinson David - Very Good

VTG Computing and Logic: Mathematics and Language, Satty/Blakeley/Colbert TPB

Philosophy Of Language PrenticeHall Founda o Philosophy Series. Alston, SC 1964