福岡大学蔵書検索

Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
(London Mathematical Society lecture note series ; 259)

データ種別	図書
出版者	Cambridge ; New York : Cambridge University Press
出版年	1999
形態	ix, 419 p. : ill. ; 23 cm
著者標目	Logic Colloquium (1997 : Leeds, England) Cooper, S. Barry Truss, John K.
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索 LCSH:Computable functions -- Congresses 全ての件名で検索
分　類	NDC:410.8 NDC:410.12
書誌ID	LT00568496

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	410.8/L84/1-259	0111616710100	9780521635509				予約・取寄				予約・取寄

目次／あらすじ