Mathematical Logic C

Logic forms the basis of mathematics and is thus a fundamental part of any mathematics course. This text provides a clear and accessible introduction to logic. ... » 

Logic forms the basis of mathematics and is thus a fundamental part of any mathematics course. This text provides a clear and accessible introduction to logic. The concept of model underlies the whole book, providing a theoretical coherence whilst still covering a wide area of logic. «