| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
О пропозициональных исчислениях, представляющих понятие доказуемости в арифметике Е. В. Дашков |
|||