検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
書誌詳細
  

NCIDBA42205160
タイトル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
出版者Cambridge ; New York : Cambridge University Press , 1999
形態ix, 419 p. ; 23 cm
注記Includes bibliographical refereces
シリーズ名London Mathematical Society lecture note series ; 259
分類LCC:QA9.A1
DC21:511.3
件名LCSH:Logic,Symbolicandmathematical -- Congresses
LCSH:Computablefunctions -- Congresses
著者情報Logic Colloquium
Cooper, S. B. (S. Barry)
Truss, J. K
Association for Symbolic Logic
和洋区分洋
標題言語英語
本文言語英語
出版国イギリス
ISBN0521635500
番号LCCN : 99019677
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0理数学410:C028001182 研究室  

選択行を：  

▲ページトップへ