Dick de Jongh on Intuitionistic and Provability Logicsby Nick Bezhanishvili, Rosalie Iemhoff, Fan YangWriting a summary for young readers…For young readersBook data: Open Library