dc.contributor.author | Идельсон А.В., Минц Г.Е. (ред.) | |
dc.date.accessioned | 2016-02-21T19:56:44Z | |
dc.date.available | 2016-02-21T19:56:44Z | |
dc.date.issued | 1967 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/36797 | |
dc.description.abstract | Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Математическая теория логического вывода [сборник переводов статей] | |
dc.type | other | |
dc.identifier.aich | 4CNEM6PCPCUTULV6UXLTINCSNWNX3F7F | |
dc.identifier.crc32 | 1FC02337 | |
dc.identifier.doi | | |
dc.identifier.edonkey | 497D819EB980A5BE1EC235663D469573 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 4588 | |
dc.identifier.md5 | 2975C4BB122051B73E21AC1E7844C146 | |
dc.identifier.sha1 | P57M6RUUI6KOXL7GHKI6HXIF7S4FAAIR | |
dc.identifier.tth | ATHKHLDCEMNKRGQLUH73ZHCEE2CDND6KER7ITKQ | |