MathDB1 problem
Matching
The paper considers the classical positive free logic systems appearing in Theorem … are proper. (b) \mathbf{CPF}^{\begin{sideways}\begin{sideways}iota…
The paper considers the classical positive free logic systems appearing in Theorem … are proper. (b) \mathbf{CPF}^{\begin{sideways}\begin{sideways}iota…