General recursion theory: An axiomatic approach
J. E. Fenstad种类:
年:
1980
出版:
1
出版社:
Springer
语言:
english
页:
498
ISBN 10:
3540093494
ISBN 13:
9783540093497
系列:
Perspectives in Mathematical Logic
文件:
DJVU, 1.73 MB
IPFS:
,
english, 1980