10% OFF

Type Theory And Formal Proof eBook

An Introduction

by Herman Geuvers e Rob Nederpelt
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, November of 2014 ‧
98,05€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Type Theory And Formal Proof

An Introduction

by Herman Geuvers e Rob Nederpelt

Property Description
ISBN: 9781316053980
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: November of 2014
Language: English
Format: eBook
File Format and Compatibility:
Categories: eBooks in English > Science > Mathematics
EAN: 9781316053980
Acessibilidade: Ver características de acessibilidade indicadas pelo editor