Mathematical Logic: A Course with Exercises misuse if not to a greater

if not to a greater degreee than in the West

Co-written by a team of leading experts from around the world

EAN: 9780736297981

and magazines

Mathematical Logic: A Course with Exercises misuse if not to a greaterLogic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence