Type Theory and Formal Proof

Lingua: inglese

Editore: Cambridge University Press, GB, 2014

110703650X / 9781107036505

Da: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA

Venditore con 5 stelle

Venditore AbeBooks dal 10 giugno 2025

Rilegato

Condizione: Nuovo

EUR 113,84

 Spedizione gratuita 
Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Codice articolo LU-9781107036505

Titolo
Type Theory and Formal Proof
Autore
Rob Nederpelt, Herman Geuvers
Editore
Cambridge University Press, GB
Anno di pubblicazione
2014
Condizione
New
Rilegatura
Hardback
Lingua
inglese
ISBN 10
110703650X
ISBN 13
9781107036505
Peso dell'articolo
980 grammi

Rarewaves USA

HEBRON, KY, U.S.A.

Venditore con 5 stelle

Venditore AbeBooks dal 10 giugno 2025

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 13 a 14 giorni lavorativiDa 13 a 16 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
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

Informazioni sull’azienda del venditore

Rarewaves USA

10100 West Sample Road, Ste 101
Coral Springs, FL U.S.A. 33065