Toledo, Sue Ann, 1940-
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Tableau systems for first order number theory and certain higher order theories, 1975: t.p. (Sue Toledo) |
| Dates of Birth and Death | 1940- |
| から見よ参照 | Toledo, Sue |
| コード類 | 典拠ID=AU20065085 NCID=DA00836048 |
| 1 | Tableau systems for first order number theory and certain higher order theories / Sue Toledo : Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975 |