Dick de Jongh on Intuitionistic and Provability LogicsNick Bezhanishvili, Rosalie Iemhoff, Fan Yang · First published 2024Open the Tome
Lectures on Logic and Computation Lecture Notes in Computer Science Theoretical Computer SciNick Bezhanishvili · First published 2012Open the Tome
Logic, Language, and ComputationNick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada · First published 2011Open the Tome
