Document Type
Technical Report
Publication Date
2011
Recommended Citation
Artemov, Sergei N. and Yavorskaya (Sidon), Tatiana, "TR-2011005: First-Order Logic of Proofs" (2011). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/355
Skip to main content
COinS