General recursion theory : an axiomatic approach
Jens E. Fenstad
Bok Engelsk 1980 Jens Erik Fenstad
Medvirkende | Gandy, R. O ( Contributor )
|
---|---|
Utgitt | Berlin : Springer , 1980
|
Omfang | XI, 225 s. : fig.
|
Emner | |
ISBN | 0387093494. - 3540093494
|
Medvirkende | Gandy, R. O ( Contributor )
|
---|---|
Utgitt | Berlin : Springer , 1980
|
Omfang | XI, 225 s. : fig.
|
Emner | |
ISBN | 0387093494. - 3540093494
|