<電子ブック>
Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987 / edited by Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue
(Lecture Notes in Mathematics. ISSN:16179692 ; 1388)
版 | 1st ed. 1989. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1989 |
大きさ | V, 226 p : online resource |
著者標目 | Shinoda, Juichi editor Slaman, Theodore A editor Tugue, Tosiyuki editor SpringerLink (Online service) |
件 名 | LCSH:Mathematical logic LCSH:Mathematics—Study and teaching FREE:Mathematical Logic and Foundations FREE:Mathematics Education |
一般注記 | Recursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987 HTTP:URL=https://doi.org/10.1007/BFb0083663 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540482208 |
|
電子リソース |
|
EB00209641 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA8.9-10.3 DC23:511.3 |
書誌ID | 4000109520 |
ISBN | 9783540482208 |
類似資料
この資料の利用統計
このページへのアクセス回数:6回
※2017年9月4日以降