Type Theory and Formal Proof

Langue : anglais

Edité par Cambridge University Press, GB, 2014

110703650X / 9781107036505

Vendeur : Rarewaves USA, HEBRON, KY, Etats-UnisRarewaves USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 10 juin 2025

Livre relié

Etat: Neuf

EUR 116,37

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

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.…

N° de réf. du vendeur LU-9781107036505

Titre
Type Theory and Formal Proof
Auteur
Rob Nederpelt, Herman Geuvers
Éditeur
Cambridge University Press, GB
Année de publication
2014
État de l'article
New
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
110703650X
ISBN à 13 chiffres
9781107036505
Poids de l'article
980 grammes

Rarewaves USA

HEBRON, KY, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 10 juin 2025

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

Article13 à 14 jours ouvrés13 à 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

Rarewaves USA

10100 West Sample Road, Ste 101
Coral Springs, FL Etats-Unis 33065