Dalen, D. van (Dirk), 1932-
著者名典拠詳細を表示
| コード類 | 典拠ID=AL00052900 NCID=DA00234657 |
|---|
| 1 | Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin : Springer-Verlag , c1987 |
| 2 | Logic and structure / Dirk van Dalen : us:pbk.,: gw. - 2nd ed., corrected 2nd print. - Berlin : Springer-Verlag , c1983 |