Kister, Jane E.
著者名典拠詳細を表示
コード類 | 典拠ID=AL00060796 NCID=DA01897580 |
---|
1 | Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin : Springer-Verlag , c1987 |