Mendeley出力
＜図書＞
Studies in proof theory
| データ種別 | 図書 |
|---|---|
| 出版者 | Napoli : Bibliopolis |
子書誌情報
| 1 | monographs 3 Selected papers in proof theory / Grigorii E. Mints Napoli : Bibliopolis. - Amsterdam ; New York : North-Holland , c1992 |
| 2 | 3 Bounded arithmetic / Samuel R. Buss Napoli : Bibliopolis , c1986 |
書誌詳細
| 書誌ID | 1001389419 |
|---|---|
| NCID | BA01439003 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |