International Conference on Mathematical Logic and Proof Theory | Academic World Research | Academic World Research