A Concise Introduction to Mathematical Logic

A Concise Introduction to Mathematical Logic
Author :
Publisher : Springer Science & Business Media
Total Pages : 273
Release :
ISBN-10 : 9780387342412
ISBN-13 : 0387342419
Rating : 4/5 (12 Downloads)

Book Synopsis A Concise Introduction to Mathematical Logic by : Wolfgang Rautenberg

Download or read book A Concise Introduction to Mathematical Logic written by Wolfgang Rautenberg and published by Springer Science & Business Media. This book was released on 2006-09-28 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Concise Introduction to Mathematical Logic Related Books