{"product_id":"naturalnii-vivod-teoretiko-dokazatelstvennoe-issledovanie","title":"Натуральный вывод. Теоретико-доказательственное исследование","description":"Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.\r.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.","brand":"Лори","offers":[{"title":"Default Title","offer_id":50032831856956,"sku":"vhaznempsctt4wm5m5xyt3y3","price":29.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/naturalnii_vivod._teoretiko-dokazatelstvennoe_issledovanie_1.jpg?v=1725609905","url":"https:\/\/knizhka.us\/products\/naturalnii-vivod-teoretiko-dokazatelstvennoe-issledovanie","provider":"Книжка US","version":"1.0","type":"link"}