no image available Dickens & Co. "Ghosts of Logic Past: Unleashing the Power of Monadic Sequents" "A journey to the heart of classical sequent calculus, where logic meets lambda-calculus" Price: 25.00€