Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Pubblicazione: |
Cambridge
Cambridge University Press
1980.
|
| Soggetti: |
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Pubblicazione: |
Cambridge
Cambridge University Press
1980.
|
| Soggetti: |