Natural Heuristics for Proof Construction. Part I: Classical Propositional Logic

TitleNatural Heuristics for Proof Construction. Part I: Classical Propositional Logic
Publication TypeJournal Article
AuthorsBatens, D
UGent Biblio Link http://hdl.handle.net/1854/LU-241346

Export as...

BibTex   Tagged   XML   RIS
UGent Biblio Link: 
http://hdl.handle.net/1854/LU-241346