Document Type
Technical Report
Publication Date
2004
Recommended Citation
Kurokawa, Hidenori, "TR-2004003: Intuitionistic Logic with Classical Atoms" (2004). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/239
Skip to main content
COinS