Document Type
Technical Report
Publication Date
2014
Recommended Citation
Novak, Natalia, "TR-2014002: Proof Complexity and Quantitative Epistemology" (2014). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/393
Technical Report
2014
Novak, Natalia, "TR-2014002: Proof Complexity and Quantitative Epistemology" (2014). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/393