Математическая логика и теория алгоритмов
Соболев С.Л. (ред.)
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.
Kategoriler:
Yıl:
1982
Yayımcı:
Наука, Сиб. отд-ние
Dil:
russian
Sayfalar:
178
Seriler:
Труды института математики, том 2
Dosya:
DJVU, 3.81 MB
IPFS:
,
russian, 1982
Litres
Bir kitap dükkanı eklemek ister misiniz? Bize support@z-lib.fm adresinden ulaşın
Dosyaları dönüştürün
Diğer arama sonuçları
Diğer avantajları 
