Mendeley出力
＜図書＞
Studies in proof theory : monographs
| データ種別 | 図書 |
|---|---|
| 出版者 | Napoli : Bibliopolis |
| 本文言語 | Undetermined〔言語名不明〕 |
子書誌情報
| 1 | 1 Proof theory and logical complexity / Jean-Yves Girard v. 1 : Italy,v. 1. - Napoli : Bibliopolis , c1987- |
書誌詳細
| 書誌ID | 1001126915 |
|---|---|
| NCID | BA06884499 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |