How to Lie Without Being (easily) Convicted and the Lengths of Proofs in Propositional Calculus (0)

by Pavel Pudlák , Samuel R. Buss
Citations:15 - 1 self