Arai, Toshiyasu (Ed.) Advances in mathematical logic Singapore : Springer, 2021. xi, 229 p. -- (Springer proceedings in mathematics and statistics ; vol. 369) QA9.A1 S955 2018