Для цитирования:

Хлебалин А.В. ЛОГИЧЕСКИЙ И МАТЕМАТИЧЕСКИЙ ВЫВОД: СИНТАКСИС И СЕМАНТИКА ДОКАЗАТЕЛЬСТВА. Сибирский философский журнал. 2018;16(3):28-37. https://doi.org/10.25205/2541-7517-2018-16-3-28-37

For citation:

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