You are using an outdated browser. Please upgrade your browser to improve your experience.
Мы используем «куки», чтобы было удобней пользоваться нашей интернет-страницей. Используя наш сайт, вы соглашаетесь с нашей политикой приватности. Для более подробной информации ознакомьтесь с нашей политикой конфиденциал
Натуральный вывод. Теоретико-доказательственное исследование
Raamat riiulist
Kirjeldus
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.