Type Theory and Formal Proof: An Introduction

Edité par Cambridge University Press, United Kingdom, Cambridge, 2014

Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-UniWorldofBooks

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 16 mars 2007

Livre broché

Etat: Occasion - Assez bon

EUR 71,44

EUR 6,53 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.…

N° de réf. du vendeur GOR015053823

Détails bibliographiques

Titre
Type Theory and Formal Proof: An Introduction
Auteur
Rob Nederpelt (Technische Universiteit Eindhoven, The Netherlands)
Éditeur
Cambridge University Press, United Kingdom, Cambridge
Année de publication
2014
État de l'article
Very Good
Reliure
Paperback
Dimensions
173.0 x 254.0

WorldofBooks

Goring-By-Sea, WS, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 16 mars 2007

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article7 à 12 jours ouvrés5 à 9 jours ouvrés
Premier articleEUR 6,53EUR 13,99
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

Description de la boutique

In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we’re helping charities increase revenue and reduce waste through re-commerce.…

Spécialité

COOKERY, RECYCLE, CHARITY, USED BOOKS, MODERN, HISTORY, CHILDRENS, FICTION, CHEAP BOOKS, NON -FICTION

Profil professionnel du vendeur

World of Books Ltd

Mulberry House, Woods Way Trading Estate
Goring-By-Sea, Royaume-Uni BN12 4QY