| dc.contributor.author | Соболев С.Л. (ред.) | |
| dc.date.accessioned | 2016-03-24T06:17:48Z | |
| dc.date.available | 2016-03-24T06:17:48Z | |
| dc.date.issued | 1982 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/68558 | |
| dc.description.abstract | В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики. | |
| dc.language.iso | Russian | |
| dc.publisher | Наука | |
| dc.subject | Математика\\Прикладная математика | |
| dc.subject | Mathematics\\Applied Mathematicsematics | |
| dc.subject.ddc | | |
| dc.subject.lcc | | |
| dc.title | Математическая логика и теория алгоритмов | |
| dc.type | other | |
| dc.identifier.aich | FTSJL3DAZN3VJO2X4DFZSRD3O7WKFWX6 | |
| dc.identifier.crc32 | 0F71C98B | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | 59D6BD5FA962547D02DCA79F6B4BE8D4 | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 1259088 | |
| dc.identifier.md5 | a3a4cc53106c925db7f765c95eb32764 | |
| dc.identifier.sha1 | 53V6TFOQ6KPTTCCAIIB45TJXQ3AGAFHW | |
| dc.identifier.tth | 4NZPJUQSI2G3SNWBESB7AAV3FD3P54X5FPPYJRA | |
