ID:DA01948976
Buss, S. R.
同姓同名の著者を検索
edited by Samuel R. Buss
Produced by Amazon [2020s] Studies in logic and the foundations of mathematics v. 137
: paperback
所蔵館1館
Samuel R. Buss
Cambridge University Press 2003
所蔵館28館
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
所蔵館12館
Elsevier 1998 Studies in logic and the foundations of mathematics v. 137
所蔵館61館
Paul W. Beame, Samuel R. Buss, editors
American Mathematical Society c1998 DIMACS series in discrete mathematics and theoretical computer science v. 39
所蔵館21館
Samuel R. Buss, Phillip J. Scott, editors
Birkhäuser 1990 Progress in computer science and applied logic v. 9
: us , : sz
Bibliopolis c1986 Studies in proof theory 3
[s.n.] 1985