Dick de Jongh on Intuitionistic and Provability LogicsNick Bezhanishvili, Rosalie Iemhoff, Fan Yang · First published 2024Open the Tome
