Теория доказательств

Когда использовать

Этот индекс используется для документов по теме «Теория доказательств» в разделе «Математическая логика»

Алфавитно-предметный указатель связывает с этим индексом следующие темы