For citations:
Khlebalin A.V. LOGICAL AND MATHEMATICAL INFERENCE: SYNTAX AND SEMANTICS OF PROOF. Siberian Journal of Philosophy. 2018;16(3):28-37. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-3-28-37
Khlebalin A.V. LOGICAL AND MATHEMATICAL INFERENCE: SYNTAX AND SEMANTICS OF PROOF. Siberian Journal of Philosophy. 2018;16(3):28-37. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-3-28-37