Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Samuel R. Buss | lit.salon

Author

Samuel R. Buss

6 works

1986–2017 across 5 dated works

No biography is available yet.

Start with

Bounded arithmetic1986
Handbook of proof theory1998
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 19961998
With Paul W. Beame
3D Computer Graphics: A Mathematical Introduction with OpenGL2003

Books

5 works

Featured (5)Featured (5)All (6)All (6)

Search booksSort books

3D Computer Graphics: A Mathematical Introduction with OpenGL2003
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Handbook of proof theory1998
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 19961998
With Paul W. Beame
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logic Colloquium '982017
With Petr Hájek, Pavel Pudlák
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Bounded arithmetic1986
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Samuel R. Buss.

The conversation is still open.

There is no public salon activity to show for Samuel R. Buss yet.