Author: Fernández, Víctor

Fernández, Víctor: A Kalmár-style completeness proof for the logics of the hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 64 (2023), issue 4, pp. 485-509

Partner of