Show simple item record

Математическая теория логического вывода [сборник переводов статей]

dc.contributor.authorИдельсон А.В., Минц Г.Е. (ред.)
dc.date.accessioned2016-02-21T19:56:44Z
dc.date.available2016-02-21T19:56:44Z
dc.date.issued1967
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/36797
dc.description.abstractЭта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleМатематическая теория логического вывода [сборник переводов статей]
dc.typeother
dc.identifier.aich4CNEM6PCPCUTULV6UXLTINCSNWNX3F7F
dc.identifier.crc321FC02337
dc.identifier.doi
dc.identifier.edonkey497D819EB980A5BE1EC235663D469573
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid4588
dc.identifier.md52975C4BB122051B73E21AC1E7844C146
dc.identifier.sha1P57M6RUUI6KOXL7GHKI6HXIF7S4FAAIR
dc.identifier.tthATHKHLDCEMNKRGQLUH73ZHCEE2CDND6KER7ITKQ


Files in this item

Thumbnail
Name:
2975c4bb122051b73e21ac1e7844c1 ...
Size:
3.335Mb
Format:
Unknown
View/Open

This item appears in the following Collection(s)

Show simple item record