Alta reperibilità
Type Theory and Formal Proof
An Introduction
- Editore:
Cambridge University Press
- 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.
Disponibile in 5-6 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti