Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium
Fenstad J.E., Gandy R.O., Sacks G.E. (eds.)カテゴリー:
年:
1978
出版社:
Elsevier Science
言語:
english
ページ:
412
ISBN 10:
0444851631
ISBN 13:
9780444851635
シリーズ:
Studies in Logic and the Foundations of Mathematics, Volume 94
ファイル:
DJVU, 2.27 MB
IPFS:
,
english, 1978