---

＜図書＞
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
(London Mathematical Society lecture note series ; 45)

出版者	Cambridge, England : Cambridge University Press
出版年	1980
大きさ	319 p. ; 23 cm.
著者標目	Logic Colloquium (1979 ; Leeds, West Yorkshire) Drake, F. R. (Frank Robert), 1936- Wainer, S. S.
件　名	Recursion theory -- Congresses  全ての件名で検索

 類似資料