Logic in Computer Science : Modelling and Reasoning about Systems

Logic in Computer Science : Modelling and Reasoning about Systems PB

Representation Theorems in Computer Science: A Treatment in Logic Engineering by

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED.

Alan Turing's Systems of Logic: The Princeton Thesis Andrew Appel Paperback 2012