Logical reasoning with diagrams & sentences using Hyperproof - Barker-Plummer, Dave (Verfasser); Barwise, Jon (Verfasser); Etchemendy, John (Verfasser); Murray, Michael (Mitwirkender); Lui, Albert (Mitwirkender); Akhter, Murad (Mitwirkender); Aron, Andrei (Mitwirkender) (CSLI lecture notes, 2017)