<電子ブック>
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
責任表示 | |
---|---|
著者 | |
本文言語 | |
出版者 | |
出版年 | |
出版地 | |
冊子版へのリンク | https://hdl.handle.net/2324/1001404830 |
本文を見る | Cambridge Books on Core: 1999 |
詳細
レコードID | |
---|---|
データベース タイトル | |
主題 | |
管理番号 | |
eISBN | |
登録日 | 2023.09.29 |
更新日 | 2024.01.30 |