British Logic Colloquium 2015 Presentation: In Pursuit of the Missing Premise in First Order Logic

Our lab members Oguz Akcelik and Aliyar Ozercan,  will make a presentation "In Pursuit of the Missing Premise in First Order Logic" which has been accepted for presentation at the

PhD Day of the annual meeting of the British Logic Colloquium which will take place in Cambridge, United Kingdom on 1–4 September, 2015.