Математическая логика и теория алгоритмов
Соболев С.Л. (ред.)
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.
వర్గాలు:
సంవత్సరం:
1982
ప్రచురణకర్త:
Наука, Сиб. отд-ние
భాష:
russian
పేజీల సంఖ్య:
178
పుస్తక శ్రేణి:
Труды института математики, том 2
ఫైల్:
DJVU, 3.81 MB
IPFS:
,
russian, 1982
Litres
మీ పుస్తక దుకాణాన్ని జోడించాలనుకుంటున్నారా? support@z-lib.do వద్ద మమ్మల్ని సంప్రదించండి
ఫైల్ converter
మరిన్ని శోధన ఫలితాలు
మరిన్ని ప్రయోజనాలు 
