Vai al contenuto principale della pagina
Autore: | Luperto, Carmela |
Titolo: | Proprietà di terminazione nel lambda-calcolo e nella logica combinatoria. Tesi di laurea / laureanda Carmela Luperto ; relat. Marco Protasi |
Pubblicazione: | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1978/79 |
Altri autori: | Protasi, Marco |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Italiano |
Record Nr.: | 991001270719707536 |
Lo trovi qui: | Univ. del Salento |
Opac: | Controlla la disponibilità qui |