[[файл:СЕК30п.JPG]]
== [[Логические понятия|Другие понятия:]] ==
{{Список ЛПЛПон}}
== Ссылки ==
* Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74.* [[Участник:Logic-samara]] [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]