Натуральный вывод. Теоретико-доказательственное исследование
Book from shelf
Description
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.Product ID
1611341
Publisher
Year
2019
ISBN
978-5-85582-420-9
Code
10277782
Weight
0.17
Binding
70х100/16
Binding
мягкий
Availability
On Stock
Package size
XS
