Studies in proof theory : monographs
| データ種別 | 図書 |
|---|---|
| 出版者 | Napoli : Bibliopolis |
| 書誌ID | LT01017881 |
子書誌情報を非表示
| 1 | 1 Proof theory and logical complexity / Jean-Yves Girard v. 1. - Napoli : Bibliopolis , c1987 |
書誌詳細を非表示
| 本文言語 | und |
|---|---|
| NCID | BA06884499 |
ようこそ ゲスト さん
| データ種別 | 図書 |
|---|---|
| 出版者 | Napoli : Bibliopolis |
| 書誌ID | LT01017881 |
| 1 | 1 Proof theory and logical complexity / Jean-Yves Girard v. 1. - Napoli : Bibliopolis , c1987 |
| 本文言語 | und |
|---|---|
| NCID | BA06884499 |