• Title A Concise Introduction to Mathematical Logic
• Author(s) Wolfgang Rautenberg
• Publisher: Springer; 3rd ed. edition (December 17, 2009)
• Paperback 340
• eBook PDF, 2.35 MB
• Language: English
• ISBN-10: 1441912207
• ISBN-13: 978-1441912206
• Share This:  

Book Description

The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications, such as a chapter on logic programming.

• N/A

• Amazon

• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Artificial Intelligence, Machine Learning, and Logic Programming
• LISP Programming Language
• Discrete Mathematics

• A Concise Introduction to Mathematical Logic ©2009 (Wolfgang Rautenberg)
• Download Only
• Google's Preview
• Book Homepage