Essays in structural proof theory
| Titolo | Essays in structural proof theory |
| Autore | Laura Tesconi |
| Collana | Analitica, 6 |
| Editore | Edizioni ETS |
| Formato |
Libro: Libro in brossura |
| Lingua | inglese |
| Pagine | 170 |
| Pubblicazione | 03/2013 |
| ISBN | 9788846736017 |
Libri dello stesso autore
Computabilità. Lambda, definibilità, ricorsività, indecidibilità
Luca Bellotti, Enrico Moriconi, Laura Tesconi
Carocci