このページのリンク

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. ; 23 cm
書誌ID 1000166639

所蔵情報を非表示

2F・開架図書
410.8||L||259 119990003029

0521635500

書誌詳細を非表示

一般注記 Includes bibliographical refereces
著者標目 Logic Colloquium (1997 : Leeds, England)
Cooper, S. B. (S. Barry)
Truss, J. K
Association for Symbolic Logic
件 名 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
LCSH:Computable functions -- Congresses  全ての件名で検索
分 類 LCC:QA9.A1
DC21:511.3
ISBN 0521635500
NCID BA42205160

 類似資料