Hinman, Peter G.
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His Recursion-Theoretic hierarchies, 1978: t.p. (Peter G. Hinman) LC data base, 8-9-84 (hdg.: Hinman, Peter G.) |
から見よ参照 | Hinman, P. G. |
コード類 | 典拠ID=AU20066629 NCID=DA00521910 |
1 | Recursion theory / Peter G. Hinman (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987 |