Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
edited by F. R. Drake and S. S. Wainer
Bok Engelsk 1980 Logic Colloquium
| Utgitt | Cambridge : Cambridge University Press , 1980
|
|---|---|
| Omfang | 319 s.
|
| Opplysninger | Har bibliografi.
|
| Emner | |
| ISBN | 052123543X
|
