I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Quaderni dei Gruppi di ricerca matematica del Consiglio Nazionale delle Ricerche