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