Journal of Applied Logics, Volume 8, Number 8, September 2021. Special Issue

Valeria De Paiva, Sergei Artemov · 2021