This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Godel s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability.
In this new...
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics an...
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory.
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and ot...
