Naviga per Autore Pistone, Paolo
Mostrati i risultati da 1 a 1 di 1
Data di edizione | Titolo | Autore/i |
---|---|---|
27-mar-2015 | On proofs and types in second order logic | Pistone, Paolo |
Data di edizione | Titolo | Autore/i |
---|---|---|
27-mar-2015 | On proofs and types in second order logic | Pistone, Paolo |