 Written in a clear, concise style
 Contains numerous exercises and examples
 Employs Godel’s completeness and incompleteness theorems to motivate the entire text
 Uses modern language and notation, which will appeal to undergrads as well as graduate students
Buy this book
 About this Textbook

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 selfreading. 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.
 Reviews

From the reviews:
"This is an introductory textbook on modern mathematical logic, aimed at upperlevel undergraduates. … The book is wellequipped with examples … ." (Allen Stenger, MathDL, July, 2008)
"In this work, which provides an introduction to mathematical logic, Srivastava … indicates that his main goal is to ‘state and prove Gödel’s completeness and incompleteness theorems in precise mathematical terms.’ … the author presents the material in a clear fashion, with consistent and understandable notation. The book includes a number of exercises for the student to attempt and examples from a variety of areas in mathematics for the student to review. … Summing Up: Recommended. Advanced upperdivision undergraduates, graduate students, faculty." (S. L. Sullivan, Choice, Vol. 46 (4), December, 2008)
"The main goal of this book is to give a motivated introduction to mathematical logic for graduated and advanced undergraduate students of logic, set theory, recursion theory and computer science. Its intended audience includes also all mathematicians who are interested in knowing what mathematical logic is dealing with. … All results included in the book are very carefully selected and proved. The author’s manner of writing is excellent, which will surely make this book useful to many categories of readers." (Marius Tarnauceanu, Zentralblatt MATH, Vol. 1140, 2008)
 Table of contents (7 chapters)


Syntax of FirstOrder Logic
Pages 114

Semantics of FirstOrder Languages
Pages 1528

Propositional Logic
Pages 2944

Proof and Metatheorems in FirstOrder Logic
Pages 4564

Completeness Theorem and Model Theory
Pages 6581

Table of contents (7 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
 Bibliographic Information

 Book Title
 A Course on Mathematical Logic
 Authors

 Shashi Mohan Srivastava
 Series Title
 Universitext
 Copyright
 2008
 Publisher
 SpringerVerlag New York
 Copyright Holder
 SpringerVerlag New York
 eBook ISBN
 9780387762777
 DOI
 10.1007/9780387762777
 Series ISSN
 01725939
 Edition Number
 1
 Number of Pages
 X, 150
 Topics