Rohan French
About
Publications
A Sequent Calculus for Urn Logic