A Concise Introduction to Mathematical Logic PDF
by Wolfgang Rautenberg
Part of the Universitext series
Description
While there are already several well known textbooks on mathematical logic this book is unique in treating the material in a concise and streamlined fashion. This allows many important topics to be covered in a one semester course. Although the book is intended for use as a graduate text the first three chapters can be understood by undergraduates interested in mathematical logic. The remaining chapters contain material on logic programming for computer scientists, model theory, recursion theory, Godel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text.
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer New York
- Publication Date:28/09/2006
- Category:
- ISBN:9780387342412
Other Formats
- Paperback / softback from £64.99
- PDF from £55.24
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer New York
- Publication Date:28/09/2006
- Category:
- ISBN:9780387342412