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 : AussieBookSeller, Truganina, VIC, AustralieAussieBookSeller

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 22 juin 2007

Livre broché

Etat: Neuf

EUR 60,24

EUR 33,03 expédition 
Expédition depuis Australie vers 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 our Sydney, NSW warehouse or from our UK or US warehouse, 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

AussieBookSeller

Truganina, VIC, Australie

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 22 juin 2007

Frais d'expédition de Australie vers Etats-Unis

Article25 à 45 jours ouvrés8 à 14 jours ouvrés
Premier articleEUR 33,03EUR 39,28
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

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australie 3029