Titlebook: Dick de Jongh on Intuitionistic and Provability Logics; Nick Bezhanishvili,Rosalie Iemhoff,Fan Yang Book 2024 The Editor(s) (if applicable

欲望

Book 2024eory of well-partial orders, and formal learning theory. The second to last chapter on Origami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete biblio

Compass

2211-2758 gami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete biblio978-3-031-47923-6978-3-031-47921-2Series ISSN 2211-2758 Series E-ISSN 2211-2766