
A Course on Mathematical Logic
Shashi Mohan Srivastava(Author)
Springer (Publisher)
Published on 12. March 2008
Book
Paperback/Softback
X, 150 pages
978-0-387-76275-3 (ISBN)
Article exhausted; check for reprint
Description
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.
Reviews / Votes
From the reviews: "This is an introductory textbook on modern mathematical logic, aimed at upper-level undergraduates. ... The book is well-equipped 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 Godel'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 upper-division 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)More details
Series
Edition
2008
Language
English
Place of publication
NY
United States
Target group
College/higher education
Research
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
246 gr
ISBN-13
978-0-387-76275-3 (9780387762753)
DOI
10.1007/978-0-387-76277-7
Schweitzer Classification
Other editions
New editions

Shashi Mohan Srivastava
A Course on Mathematical Logic
Book
01/2013
2nd Edition
Springer
€69.54
Shipment within 15-20 days
Additional editions

Shashi Mohan Srivastava
A Course on Mathematical Logic
E-Book
02/2008
1st Edition
Springer
€42.99
Available for download
Content
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.