Course on Mathematical Logic

Häftad, Engelska, 2013

692 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2013-01-15
Mått:155 x 235 x 13 mm
Vikt:332 g
Format:Häftad
Språk:Engelska
Serie:Universitext
Antal sidor:198
Upplaga:2
Förlag:Springer-Verlag New York Inc.
ISBN:9781461457459

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Algebra inom Naturvetenskap och teknik

Mer om författaren

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), and recipient of the Indian National Science Academy Medal for Young Scientists in 1981.

Recensioner i media

From the reviews: "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) "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) "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) From the reviews of the second edition: "This very sophisticated work deals with what the author presents as proof of Godel's completeness and incompleteness theorems in precise mathematical terms. ... This rigorous book is appropriate for graduate students or very talented undergraduates." (James Van Speybroeck, Computing Reviews, April, 2013)

Innehållsförteckning

Preface.- 1 Syntax of First-Order Logic.- 2 Semantics of First-Order Languages.- 3 Propositional Logic.- 4 Completeness Theorem for First-Order Logic.- 5 Model Theory.- 6 Recursive Functions and Arithmetization of Theories.- 7 Incompleteness Theorems and Recursion Theory.- References.- Index.