| |||
|
|
Михаил, интересно, а кто-нибудь когда-нибудь напрямую занимался анализом топологической структуры графа, образуемого формулами и правилами вывода какой-либо формальной теории? Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed. |
||||