Rosser theorem proof
Conspect
Temp. release
Questions updated for 2013