Type Theory and Formal Proof: An Introduction

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

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 16. März 2007

Softcover

Zustand: Gebraucht - Gut

EUR 73,48

EUR 6,71 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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

Bibliografische Details

Titel
Type Theory and Formal Proof: An Introduction
Autor
Rob Nederpelt (Technische Universiteit Eindhoven, The Netherlands)
Verlag
Cambridge University Press, United Kingdom, Cambridge
Erscheinungsjahr
2014
Zustand
Very Good
Einband
Paperback
Abmessungen
173.0 x 254.0

WorldofBooks

Goring-By-Sea, WS, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 16. März 2007

Versandkosten von Vereinigtes Königreich nach USA

Artikel7 bis 12 Werktage5 bis 9 Werktage
Erster ArtikelEUR 6,71EUR 14,39
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

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

Shopbeschreibung

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

Spezialisierung

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

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

World of Books Ltd

Mulberry House, Woods Way Trading Estate
Goring-By-Sea, Vereinigtes Königreich BN12 4QY