Sets, Models and Proofs (Paperback)

Langue : anglais

Edité par Springer International Publishing AG, Cham, 2018

3319924133 / 9783319924137

Série : Livre 72 sur 90 - Springer Undergraduate Mathematics

  • Éd. originale
  • Livre broché
  • Neuf
Afficher toutes les informations

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 octobre 2005

Livre broché

Etat: Neuf

EUR 39,13

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Paperback. This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Goedels completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year. This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

N° de réf. du vendeur 9783319924137

Titre
Sets, Models and Proofs (Paperback)
Auteur
Ieke Moerdijk
Éditeur
Springer International Publishing AG, Cham
Année de publication
2018
État de l'article
new
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3319924133
ISBN à 13 chiffres
9783319924137
Édition
Edition originale
Série
Livre 72 sur 90: Springer Undergraduate Mathematics

Grand Eagle Retail

Bensenville, IL, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 octobre 2005

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article6 à 14 jours ouvrés6 à 16 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE Etats-Unis 19805