"TR-2004001: Tableaux for the Logic of Proofs" by Bryan Renne

Skip to main content

Computer Science Technical Reports

Title

TR-2004001: Tableaux for the Logic of Proofs

Authors

Bryan Renne

Document Type

Technical Report

Publication Date

2004

Recommended Citation

Renne, Bryan, "TR-2004001: Tableaux for the Logic of Proofs" (2004). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/237

Included in

Computer Sciences Commons

COinS