The complexity of propositional proofs

by Nathan Segerlind
Venue:Bulletin of Symbolic Logic
Citations:20 - 0 self