Dalen, D. van (Dirk), 1932-
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Formele logica, 1971 |
| Dates of Birth and Death | 1932 |
| から見よ参照 | Dalen, Dirk van, 1932- Van Dalen, Dirk |
| コード類 | 典拠ID=AU20066632 NCID=DA00234657 |
| 1 | Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987 |