Articles liés à A Course on Mathematical Logic
Synopsis
A Course on Mathematical Logic 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. Full description
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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 to provide 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.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2013
- ISBN 10 1461457459
- ISBN 13 9781461457459
- ReliureBroché
- Numéro d'édition2
- Nombre de pages212
Acheter D'occasion
état : Comme neufUnread book in perfect condition... En savoir plus sur cette édition
EUR 123,57
Frais de port :
EUR 18
De Royaume-Uni vers Etats-Unis
Acheter neuf
En savoir plus sur cette édition
EUR 63,92
Frais de port :
Gratuit
Vers Etats-Unis
Autres éditions populaires du même titre
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
A Course on Mathematical Logic (Universitext) by Srivastava, Shashi Mohan [Paperback ]
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Soft Cover. Etat : new. N° de réf. du vendeur 9781461457459
Quantité disponible : 10 disponible(s)
Image d'archives
A Course on Mathematical Logic (Universitext)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2716030036789
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Course on Mathematical Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19205325-n
Quantité disponible : 5 disponible(s)
Image d'archives
A Course on Mathematical Logic
impression à la demandeVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9781461457459_lsuk
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A Course on Mathematical Logic
Edité par
Springer New York Jan 2013, 2013
ISBN 10 : 1461457459
ISBN 13 : 9781461457459
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9781461457459
Quantité disponible : 2 disponible(s)
Image d'archives
A Course on Mathematical Logic
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9781461457459
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Course on Mathematical Logic
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19205325-n
Quantité disponible : 5 disponible(s)
Image d'archives
A Course on Mathematical Logic
Edité par
Springer-Verlag New York Inc., 2013
ISBN 10 : 1461457459
ISBN 13 : 9781461457459
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9781461457459
Quantité disponible : Plus de 20 disponibles
Image d'archives
A Course on Mathematical Logic (Universitext)
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. . . . . . N° de réf. du vendeur V9781461457459
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
A Course on Mathematical Logic
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9781461457459
Quantité disponible : 1 disponible(s)