Beth, Evert Willem
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Inleidung tot de wijsbegeerte der wiskunde ... 1942 LCCN 66-7696: His Mathematical thought, 1965 (hdg.: Beth, Evert Willem; usage: Evert W. Beth) 1908-1964 His Épistémologie génétique et recherche psychologique, 1957: t.p. (W.E. Beth) |
| から見よ参照 | Beth, Evert W. (Evert Willem) Beth, W. E. ベート, エヴェルト W. |
| コード類 | 典拠ID=AU00010594 NCID=DA00491478 |
| 1 | 数学の思想 : 数理哲学入門 / E.W.ベート著 ; 好田順治訳 京都 : 現代数学社 , 1986.5 |
| 2 | Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth Dordrecht, Holland : D. Reidel Publishing Co. , 1962 |