ID:DA01948976
Buss, S. R.
同姓同名の著者を検索
Samuel R. Buss
Cambridge University Press 2003
所蔵館26館
edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
Association for Symbolic Logic , A K Peters, Ltd. c2000 Lecture notes in logic 13
: hard , : pbk
所蔵館13館
edited by Samuel R. Buss
Elsevier 1998 Studies in logic and the foundations of mathematics v. 137
所蔵館63館
Paul W. Beame, Samuel R. Buss, editors
American Mathematical Society c1998 DIMACS series in discrete mathematics and theoretical computer science v. 39
所蔵館22館
Samuel R. Buss, Phillip J. Scott, editors
Birkhäuser 1990 Progress in computer science and applied logic v. 9
: us , : sz
所蔵館20館
Bibliopolis c1986 Studies in proof theory 3
所蔵館24館
[s.n.] 1985
所蔵館1館