ID:DA01948976
Buss, S. R.
Search authors sharing the same name
Samuel R. Buss
Cambridge University Press 2003
Available at 26 libraries
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
Available at 13 libraries
edited by Samuel R. Buss
Elsevier 1998 Studies in logic and the foundations of mathematics v. 137
Available at 64 libraries
Paul W. Beame, Samuel R. Buss, editors
American Mathematical Society c1998 DIMACS series in discrete mathematics and theoretical computer science v. 39
Available at 22 libraries
Samuel R. Buss, Phillip J. Scott, editors
Birkhäuser 1990 Progress in computer science and applied logic v. 9
: us , : sz
Available at 21 libraries
Bibliopolis c1986 Studies in proof theory 3
Available at 24 libraries
[s.n.] 1985
Available at 1 libraries
