Kister, Jane E.
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | Proof theory, constructive mathematics, c1987: t.p. (Jane E. Kister) |
| から見よ参照 | Kister, J. E. |
| コード類 | 典拠ID=AU20066631 NCID=DA01897580 |
| 1 | Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987 |