Verwandte Artikel zu A Course on Mathematical Logic (Universitext)
Inhaltsangabe
Book by Srivastava Shashi Mohan
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
From the reviews:
"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 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 Gödel’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)
Reseña del editor
This extensively revised new edition of the concise introductory text on mathematical logic retains its numerous exercises and applications, but now has a fresh chapter on model theory and new section on topics such as definability and quantifier eliminations.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2013
- ISBN 10 1461457459
- ISBN 13 9781461457459
- EinbandTapa blanda
- Auflage2
- Anzahl der Seiten212
Gebraucht kaufen
Zustand: Wie neuUnread book in perfect condition... Mehr zu diesem Angebot erfahren
EUR 123,57
Versand:
EUR 18,00
Von Vereinigtes Königreich nach USA
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 63,92
Versand:
Gratis
Innerhalb der USA
Weitere beliebte Ausgaben desselben Titels
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
A Course on Mathematical Logic (Universitext) by Srivastava, Shashi Mohan [Paperback ]
Anbieter: booksXpress, Bayonne, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9781461457459
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
A Course on Mathematical Logic (Universitext)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2716030036789
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Course on Mathematical Logic
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19205325-n
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
A Course on Mathematical Logic
Print-on-DemandAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9781461457459_lsuk
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
A Course on Mathematical Logic
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Gödel'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 edition, many small and large changes have been made throughout the text. The main purpose of this new edition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new edition also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more. 212 pp. Englisch. Bestandsnummer des Verkäufers 9781461457459
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
A Course on Mathematical Logic
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9781461457459
Anzahl: 10 verfügbar
Foto des Verkäufers
Course on Mathematical Logic
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19205325-n
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
A Course on Mathematical Logic
Verlag:
Springer-Verlag New York Inc., 2013
ISBN 10: 1461457459
ISBN 13: 9781461457459
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9781461457459
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Course on Mathematical Logic (Universitext)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2013. 2nd ed. 2013. Paperback. This extensively revised new edition of the concise introductory text on mathematical logic retains its numerous exercises and applications, but now has a fresh chapter on model theory and new section on topics such as definability and quantifier eliminations. Series: Universitext. Num Pages: 198 pages, biography. BIC Classification: PBC; PBF; UYA. Category: (P) Professional & Vocational. Dimension: 154 x 236 x 13. Weight in Grams: 332. . . . . . Bestandsnummer des Verkäufers V9781461457459
Anzahl: 15 verfügbar
Foto des Verkäufers
A Course on Mathematical Logic
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 Gödel'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 edition, many small and large changes have been made throughout the text. The main purpose of this new edition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new edition also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more. Bestandsnummer des Verkäufers 9781461457459
Anzahl: 1 verfügbar