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 |