で詳細を確認
Proof theory and algebra in logic / Hiroakira Ono
(Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)
| データ種別 | 図書 |
|---|---|
| 出版者 | Singapore : Springer |
| 出版年 | c2019 |
| 本文言語 | 英語 |
| 大きさ | viii, 160 p. : ill. ; 24 cm |
目次／あらすじ
書誌詳細を非表示
| 一般注記 | Includes bibliographical references (p. 151-156) and index |
|---|---|
| 著者標目 | 小野, 寛晰(1942-) <オノ, ヒロアキラ> |
| 件 名 | LCSH:Proof theory LCSH:Algebraic logic |
| 分 類 | LCC:QA9.54 DC23:511.3 |
| 書誌ID | 4100106582 |
| ISBN | 9789811379963 |
| NCID |
BB28915469 
|