欲望 发表于 2025-3-30 11:55:51

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 发表于 2025-3-30 13:00:59

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
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Dick de Jongh on Intuitionistic and Provability Logics; Nick Bezhanishvili,Rosalie Iemhoff,Fan Yang Book 2024 The Editor(s) (if applicable