Document Type
Technical Report
Publication Date
2005
Recommended Citation
Artemov, Sergei and Iemhoff, Rosalie, "TR-2005002: The Basic Intuitionistic Logic of Proofs" (2005). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/257
Technical Report
2005
Artemov, Sergei and Iemhoff, Rosalie, "TR-2005002: The Basic Intuitionistic Logic of Proofs" (2005). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/257