Beckmann, A. (2004). Bounded Arithmetic and Resolution-Based Proof Systems. Collegium Logicum, 7, .
Chicago Style CitationBeckmann, Arnold. "Bounded Arithmetic and Resolution-Based Proof Systems." Collegium Logicum 7 (2004).
MLA CitationBeckmann, Arnold. "Bounded Arithmetic and Resolution-Based Proof Systems." Collegium Logicum 7 (2004).
Warning: These citations may not always be 100% accurate.