Type Theory and Formal Proof

An Introduction

Nederpelt, Rob (Technische Universiteit Eindhoven, Geuvers, Herman (Radboud Universiteit Nijmegen) - Type Theory and Formal Proof
Nederpelt, Rob (Technische Universiteit Eindhoven, Geuvers, Herman (Radboud Universiteit Nijmegen) - Type Theory and Formal Proof
Nederpelt, Rob (Technische Universiteit Eindhoven, Geuvers, Herman (Radboud Universiteit Nijmegen) - Type Theory and Formal Proof
Nederpelt, Rob (Technische Universiteit Eindhoven, Geuvers, Herman (Radboud Universiteit Nijmegen) - Type Theory and Formal Proof

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.
€ 106,10
Hardback
 
In de winkelwagen 16 werkdagen Wenslijst Stel een vraag
In de winkelwagen 16 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!

Rubrieken

Studieboeken
Kunst
Wijnen
Informatica
Eten en drinken
Sport
Reizen
Oorlog
Streekromans
Strips
Gezondheid
Bijbels
Novelle
Politiek
Fietsen
Muziek
Zwangerschap
Solliciteren
Alle categorieën
Boekstra