---

＜図書＞
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
(Proceedings of symposia in pure mathematics ; v. 42)

出版者	Providence, R.I. : American Mathematical Society
出版年	c1985
本文言語	英語
大きさ	vii, 528 p. ; 27 cm
著者標目	Nerode, Anil, 1932- Shore, Richard A., 1946- American Mathematical Society AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University, Ithaca, N.Y.)
件　名	LCSH:Recursion theory -- Addresses, essays, lectures  全ての件名で検索 NDLSH:記号論理学
一般注記	Papers presented at the 1982 AMS Summer Research Institute held at Cornell University from June 28 to July 16, 1982, and co-sponsored by the ASL

 類似資料