Natural Heuristics for Proof Construction. Part I: Classical Propositional Logic
Title | Natural Heuristics for Proof Construction. Part I: Classical Propositional Logic |
Publication Type | Journal Article |
Authors | Batens, D |
UGent Biblio Link | http://hdl.handle.net/1854/LU-241346 |
---|
UGent Biblio Link: