Types in combinatory logic
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | Indeterminado |
| Publicado: |
Indiana :
Notre Dame Journal of Formal Logic Univ.Notre Dame
1964
|
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991002038559706719 |
