Wainer, S. S

この人物の情報

人物別名 S. S Wainer

Wainer, Stanley S
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Proofs and computations Helmut Schwichtenberg, Stanley S. Wainer Cambridge University Press
2012
Computability, enumerability, unsolvability : directions in recursion theory edited by S.B. Cooper, T.A. Slaman, S.S. Wainer Cambridge University Press
1996
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S. Wainer Cambridge University Press
1992
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 edited by F.R. Drake and S.S. Wainer Cambridge University Press
1980
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想