Troelstra, A. S. (Anne Sjerp)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | Her Intuitionistic general topology, 1966 L.E.J Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands). The L.E.J. Brouwer ... 1982: t.p. (A. S. Troelstra, Univ. van Amsterdam) |
| から見よ参照 | Troelstra, Anne Sjerp Troelstra, Anne S |
| コード類 | 典拠ID=AU20066633 NCID=DA00234679 |
| 1 | Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987 |
| 2 | Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.) : u.s.,: gw. - Berlin : Springer , 1973 |
| 3 | Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. / A.S. Troelstra Berlin ; Heidelberg ; New York : Springer-Verlag , 1969 |