Document Type
Technical Report
Publication Date
2005
Recommended Citation
Goris, Evan, "TR-2005011: Logic of Proofs for Bounded Arithmetic" (2005). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/266
Skip to main content
COinS