Коллективный развивающийся учебник по формальной логике и формальным методам. Предполагает знакомство с основами логики; состав и степень готовности разделов могут меняться. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.

Издание

—

Страницы

—

Подготовка

Продвинутый