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 |