Vai al contenuto principale della pagina
Autore: | Maionchi. U. |
Titolo: | I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo |
Pubblicazione: | [Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981 |
Descrizione fisica: | 96 p. ; 25 cm. |
Disciplina: | 511.3 |
Soggetto topico: | Combinatory logic |
Lambda calculus | |
Classificazione: | AMS 03B40 |
Altri autori: | Berestovoy, S. Longo, Giuseppe |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Italiano |
Record Nr.: | 991001150359707536 |
Lo trovi qui: | Univ. del Salento |
Opac: | Controlla la disponibilità qui |