Logical Reasoning with Diagrams and Sentences Using Hyperproof Barker-Plummer, David Heftet / 2017 / Engelsk
