- Used Books
- Staff Picks
- Gifts & Gift Cards
- Sell Books
- Stores & Events
- Let's Talk Books
Special Offers see all
More at Powell's
Recently Viewed clear list
New Trade Paper
Ships in 1 to 3 days
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
This title in other editions
Other titles in the Universitext series:
A Course on Mathematical Logic (Universitext)by Shashi Mohan Srivastava
Synopses & Reviews
This textbook is written for advanced undegraduates or first year graduate students of mathematics and computer science. It is also intended for the working mathematician who wants to gain an appreciation of Mathematical Logic. There are no prerequisites for this book; however, some mathematical maturity is required. The book is written in a totally mathematical style, and any mathematician should feel at home reading this. The book starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel. In the process, the reader is also introduced to model theory and recursion Theory. After reading this book, the reader will be ready to branch into model Theory, recursion Theory, axiomatic set theory or even theoretical computer science.
Logic is a very profound subject, Godel's work being one the most remarkable discoveries in 20th-Century mathematics, having made an enormous impact on set theory, model theory as well as computer science. In spite of this impact, there exists a dearth of modern books which allow an aspiring mathematician to read and develop an appreciation for the subject. This book attempts to fill that gap by providing a short, distinctive, modern, and well-motivated introduction to mathematical logic.
This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel.
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel's incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book 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. The main prerequisite for this book is the willingness to work at a reasonable level of mathematical rigor and generality. Shashi Mohan Srivastava is a Professor at the Indian Statistical Institute, Kolkata, India. He is also the author of A Course on Borel Sets, GTM 180.
Table of Contents
Preface.- Syntax of first order logic.- Semantics of first-order languages.- Propositional logic.- Proof and metatheorems in first-order logic.- Completeness theorem and model theory.- Recursive functions and arithmetization of theories.- Incompleteness theorems and recursion theory.- References.- Index
What Our Readers Are Saying
Science and Mathematics » Mathematics » Differential Equations
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Probability and Statistics » General
Science and Mathematics » Mathematics » Probability and Statistics » Statistics