Mostra i principali dati dell'item

dc.contributor.authorСоболев С.Л. (ред.)
dc.date.accessioned2016-03-24T09:41:33Z
dc.date.available2016-03-24T09:41:33Z
dc.date.issued1982
dc.identifier.isbn
dc.identifier.issn0208-0060
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/72762
dc.description.abstractВ сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.
dc.language.isoRussian
dc.publisherНаука, Сиб. отд-ние
dc.subjectМатематика\\Математическая физика
dc.subjectMathematics\\Mathematicsematical Physics
dc.subject.ddc
dc.subject.lcc
dc.titleМатематическая логика и теория алгоритмов
dc.typeother
dc.identifier.aichIC6OTU5TNCOKNYMJK4TQAKPRDZEO2OXM
dc.identifier.crc32FD7C6A02
dc.identifier.doi
dc.identifier.edonkey21468FB477AFFFC1CA8D960E93694401
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid911710
dc.identifier.md5c1bb490e790af790cf23bd9213daa2dc
dc.identifier.sha155NGZJBKSINHSNX5N3Z4QO2VM5PEWV6W
dc.identifier.tthEDD3SBXWMBTJYYHXJL3DUPL5D4TAVFC4ASGR2OI


Files in questo item

Thumbnail

Questo item appare nelle seguenti collezioni

Mostra i principali dati dell'item