Type Theory and Formal Proof

An Introduction

Omschrijving

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

In de winkelwagen 17 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Nederpelt, Rob (Technische Universiteit Eindhoven, Geuvers, Herman (Radboud Universiteit Nijmegen)
Titel: Type Theory and Formal Proof
Uitgever: Cambridge University Press

Jaar: 2014
Taal: Engels
Pagina's: 466
Gewicht: 1238 gr

EAN: 9781107036505
Afmetingen: 247 x 174 x 45 mm
Bindwijze: Hardback

U ontvangt bij ons altijd de laatste druk!

Type Theory and Formal Proof

An Introduction

Omschrijving

Rubrieken

Stel een vraag