Document Type
Technical Report
Publication Date
2003
Recommended Citation
Fitting, Melvin, "TR-2003012: A Semantics for the Logic of Proofs" (2003). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/233
Technical Report
2003
Fitting, Melvin, "TR-2003012: A Semantics for the Logic of Proofs" (2003). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/233