Logical Reasoning With Diagrams And Sentences Using Hyperproof Lecture Notes | Desertcart Cote D' Ivoire