Dick de Jongh on Intuitionistic and Provability Logics More Books by Nick Bezhanishvili, Rosalie Iemhoff & Fan Yang

Logic, Language, and Computation

2011