Recensioni dei lettori
Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 5 voti.
Titolo originale:
Categorical Logic and Type Theory: Volume 141
Contenuto del libro:
Questo libro è un tentativo di fornire una presentazione sistematica della logica e della teoria dei tipi da una prospettiva categoriale, utilizzando il concetto unificante di categoria fibrata.
Si rivolge a logici, teorici dei tipi, teorici delle categorie e informatici (teorici).
Altre informazioni sul libro:
| ISBN: | 9780444508539 |
| Autore: | |
| Editore: | |
| Lingua: | inglese |
| Rilegatura: | Copertina morbida |
| Anno di pubblicazione: | 2001 |
| Numero di pagine: | 778 |
Acquisto:
Attualmente disponibile, in magazzino.
