| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Hujjat turi: | O'quv qo'llanma |
| Nashr tili: | Ruscha |
| Kataloglashtirish manbai: | Nemis tili |
| Hujjat tipi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Конструктивная математическая логика с точки зрения классической
Kitob mualliflari
Новиков П. С.,
Книге состоит из публикаций , посвященных вопросам теории математического доказательства, теории алгоритмов, логическим исчислениям (классическим и конструктивным), истории математической логики вопросам автоматики и лингвистики.
| Bilimlar sohasi: | | Matematika | |
|---|---|
| UDK | 164 |
| Kitob nashriyoti nomi: | Наука |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | |
| Kitob nashr qilingan yili: | 1977 Yil |
| Betlar Soni: | 328 |
Kitobga aloqador kitoblar
Механизация и автоматизация хранения и переработки сельскохозяйственной продукции
Худоёров З. Ж.,
Мирзаходжаев Ш. Ш.,
Мустафаева Н. А.,