Title: Space in Weak Propositional Proof Systems
Description: 1 online resource
Subjects: Proof theory, MATHEMATICS -- General, Computer Science, Theory of Computation, Mathematics of Computing