Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.

Book Information
ISBN 9780198500483
Author Rene Cori
Format Paperback
Page Count 360
Imprint Oxford University Press
Publisher Oxford University Press
Weight(grams) 515g
Dimensions(mm) 234mm * 156mm * 19mm