Mathematical Logic in the Netherlands, 19–20 May. tr [Internet]. 2024 Aug. 7 [cited 2026 Jul. 28];5(7). Available from: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/25140