 |
|
 |
|
| 書名 | Justification logic : reasoning with reasons |
|---|---|
| 著作者等 |
Artemov, S. N. Fitting, Melvin Chris |
| シリーズ名 |
Cambridge tracts in mathematics |
| 出版元 | Cambridge University Press |
| 刊行年月 | 2019 |
| ページ数 | xxi, 247 p. |
| 大きさ | 24 cm |
| ISBN |
9781108424912 |
| NCID |
BB28170427 ※クリックでCiNii Booksを表示 |
| 言語 | 英語 |
| 出版国 | イギリス |
