Wainer, S. S
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
一般注記 | Logic Colloquium (1979 : Leeds, West Yorkshire). Recursion theory, 1980 (a.e.) t.p. (S. S. Wainer, Dept. of Pure Math., Leeds) |
別名 | Wainer, Stanley S |
コード類 | 典拠ID=AU00149106 NCID=DA03376986 |
1 | Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons and Stanley S. Wainer Cambridge : Cambridge University Press , 1992 |
2 | Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer : pbk.. - Cambridge ; New York : Cambridge University Press , 1980 |