A hierarchy of propositional proof systems - Pavel Pudlak

From Iain Cms  

views comments