Published by Springer (edition 1), 2008
ISBN 10: 0387762752 ISBN 13: 9780387762753
Seller: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condition: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Published by Springer, 2008
ISBN 10: 0387762752 ISBN 13: 9780387762753
Seller: 369 Bookstore _[~ 369 Pyramid Inc ~]_, Dover, DE, U.S.A.
Softcover. Condition: Good. 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.
Published by Berlin ; New York: Springer (Universitext), 2008
ISBN 10: 0387762752 ISBN 13: 9780387762753
Seller: Antiquariat Smock, Freiburg, Germany
First Edition
Formateinband: Paperback / kartonierte Ausgabe X, 140 S. (23,5 cm) Paperback; 1st Edition; Sehr guter Zustand. Sprache: Deutsch Gewicht in Gramm: 350 [Stichwörter: Mathematische Logik].
Published by Springer Nature (Sie), 2020
Seller: Books in my Basket, New Delhi, India
Soft cover. Condition: New. ISBN:9781493998951.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 2013-01, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Published by Springer New York Jan 2013, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: 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. . . . . .
Published by Springer New York, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Published by Springer New York, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. New edition extensively revised and updatedIncludes a new chapter on model theory, and several new sections on topics such as ultraproducts, quantifier eliminations, real closed and algebraically closed fields, definability, partial elementary map.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: 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. . . . . . Books ship from the US and Ireland.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 2013
ISBN 10: 1461457459 ISBN 13: 9781461457459
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Published by Springer New York, 2019
ISBN 10: 1493998951 ISBN 13: 9781493998951
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: New. New. book.