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
|