Type Theory and Formal Proof di Rob Nederpelt, Herman Geuvers edito da Cambridge University Press
Alta reperibilità

Type Theory and Formal Proof

An Introduction

EAN:

9781107036505

ISBN:

110703650X

Pagine:
466
Formato:
Hardback
Lingua:
Inglese
Acquistabile con o la

Descrizione Type Theory and Formal Proof

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.

Spedizione gratuita
€ 90.48
o 3 rate da € 30.16 senza interessi con
Disponibile in 5-6 giorni
servizio Prenota Ritiri su libro Type Theory and Formal Proof
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti