Philosophical Thought
Keywords = Meta-Theorems
Number of Articles: 1

Propositional Provability Logics

Volume 1, Issue 4, Autumn 2021, Pages 313-339

L. Nabavi, S.A. Mirsanei