Bounded Arithmetic and Resolution-Based Proof Systems

Date first appeared online
DOI
Authors	Beckmann A.
Journal Name	Collegium Logicum
Volume	7

Documents