Nantilus
Type theory and formal proof : an introduction /
"Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Publié : |
Cambridge ; New York (N. Y.) :
Cambridge University Press,
2014.
|
| Sujets : |
Bib. CRDM (Mathématiques) / Bibliothèque
| Cote: |
03C197 |
|---|---|
| Exemplaire 1 |
Disponible
Notes:
|