How to obtain elegant Fitch-style proofs from Goal directed ones.
| Title | How to obtain elegant Fitch-style proofs from Goal directed ones. |
| Publication Type | Conference Paper |
| Authors | Provijn, D |
| Editor | Blockeel, H, Denecker, M |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-152575 |
|---|
UGent Biblio Link: