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

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science : Modelling and Reasoning about Systems

Logic in Computer Science - Modeling and Reasoning (Second Edition) Michael Huth

Logic in Computer Science: Modelling and Reasoning about Systems by Mark Ryan

Logic in Computer Science by Michael Huth, Mark Ryan - 9780521543101

Logic in Computer Science Vol.4 Semantic Modelling HC Abramsky Gabbay Maibaum

LOGIC IN COMPUTER SCIENCE by Michael Imperial College of Science, Technology