Scarpellini, Bruno
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | EDSRC:Proof theory and intuitionistic systems / Bruno Scarpellini(Springer-Verlag, 1971) |
| コード類 | 典拠ID=AU20071905 NCID=DA07565594 |
| 1 | Proof theory and intuitionistic systems / Bruno Scarpellini : Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1971 |