Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга - не имеющий аналогов...
Naturalnyj vyvod - odna iz luchshikh monografij v mirovoj logicheskoj literature, posvjaschennaja analizu effektivnogo i perspektivnogo v plane razlichnykh prilozhenij metoda formulirovki logicheskikh sistem naturalnogo vyvoda. Eta kniga - ne imejuschij analogov...
