Document Type
Technical Report
Publication Date
2006
Recommended Citation
Goris, Evan, "TR-2006003: Explicit Proofs in Formal Provability Logic" (2006). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/271
Skip to main content
COinS