An Introduction to Mathematical Logic and Type Theory - Andrews, Peter B.
- Format: Broché
- 412 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre30,77 €
Produit Neuf
Ou 7,69 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
146,87 €
Produit Neuf
Ou 36,72 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur An Introduction To Mathematical Logic And Type Theory Format Broché - Livre Littérature Générale
0 avis sur An Introduction To Mathematical Logic And Type Theory Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
Indian Villages Of The Southwest
Occasion dès 20,00 €
-
Physiology Of The Heart
Neuf dès 44,80 €
Occasion dès 98,78 €
-
Khonsari's Cardiac Surgery
Neuf dès 37,79 €
Occasion dès 474,99 €
-
Real Analysis
Neuf dès 37,79 €
Occasion dès 158,30 €
-
Meyers' Dynamic Radiology Of The Abdomen
Neuf dès 37,79 €
Occasion dès 285,99 €
-
Le Livre D'hénoch: Le Manuscrit Apocryphe Interdit De La Bible - Anges Déchus, Géants Nephilim Et Les Secrets D'enoch Illustré (French Edition)
Occasion dès 31,99 €
-
Biographies In The History Of Physics
Neuf dès 30,77 €
Occasion dès 235,31 €
-
Rhinoplasty
Neuf dès 30,77 €
Occasion dès 459,99 €
-
Understanding Understanding
Neuf dès 30,77 €
Occasion dès 278,99 €
-
Everyday Crochet
Occasion dès 39,98 €
-
You Better Be Lightning
Occasion dès 33,57 €
-
Finite Markov Chains
Neuf dès 24,89 €
Occasion dès 79,99 €
-
Speed Secrets
Neuf dès 25,35 €
Occasion dès 26,31 €
-
Bayesian Methods In Health Economics
Neuf dès 24,89 €
Occasion dès 106,99 €
-
Paul Strand (Aperture Masters Of Photography Series)
Occasion dès 37,99 €
-
Volllust | 22 Erotische Geschichten
Neuf dès 18,97 €
Occasion dès 47,99 €
-
Adversarial Tradecraft In Cybersecurity
Neuf dès 22,18 €
Occasion dès 55,99 €
-
Ne Te Fais Pas De Chagrin !
Occasion dès 44,45 €
-
Heretics Of Dune
Occasion dès 28,99 €
Produits similaires
Présentation An Introduction To Mathematical Logic And Type Theory Format Broché
- Livre Littérature GénéraleAuteur(s) : Andrews, Peter B.Editeur : Springer NetherlandLangue : AnglaisParution : 01/12/2010Format : Moyen, de 350g à 1kgNombre de pages : 412Expédition : 622Dimensions : 23.5 x 15.5 x...
Résumé :
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com ?for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
Détails de conformité du produit
Personne responsable dans l'UE