この商品を友人に教える:
Logic, Computation, Hierarchies - Ontos Mathematical Logic
Logic, Computation, Hierarchies - Ontos Mathematical Logic
Published in honor of Victor L Selivanov, this book collects 17 articles that inform on the developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic.
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2014年7月28日 |
| ISBN13 | 9781614517832 |
| 出版社 | De Gruyter |
| ページ数 | 424 |
| 寸法 | 150 × 220 × 20 mm · 735 g |
| 言語 | 英語 |
| 編集者 | Brattka, Vasco |
| 編集者 | Diener, Hannes |
| 編集者 | Spreen, Dieter |