Jeremy Avigad

 

Website: http://www.andrew.cmu.edu/user/avigad/

 

Entries

2012
October 27: Bondy's Theorem