Type Theory and Formal Proof: An Introduction

Editore: Cambridge University Press, United Kingdom, Cambridge, 2014

Da: WorldofBooks, Goring-By-Sea, WS, Regno UnitoWorldofBooks

Venditore con 5 stelle

Venditore AbeBooks dal 16 marzo 2007

Brossura

Condizione: Usato - Molto buono

EUR 71,44

EUR 6,53 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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.…

Codice articolo GOR015053823

Dati bibliografici

Titolo
Type Theory and Formal Proof: An Introduction
Autore
Rob Nederpelt (Technische Universiteit Eindhoven, The Netherlands)
Editore
Cambridge University Press, United Kingdom, Cambridge
Anno di pubblicazione
2014
Condizione
Very Good
Rilegatura
Paperback
Dimensioni
173.0 x 254.0

WorldofBooks

Goring-By-Sea, WS, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 16 marzo 2007

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 7 a 12 giorni lavorativiDa 5 a 9 giorni lavorativi
Primo articoloEUR 6,53EUR 13,99
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

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

Descrizione dello Store

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.…

Specializzazione

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

Informazioni sull’azienda del venditore

World of Books Ltd

Mulberry House, Woods Way Trading Estate
Goring-By-Sea, Regno Unito BN12 4QY