| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Hujjat turi: | Va boshqa |
| Nashr tili: | Ruscha |
| Kataloglashtirish manbai: | Rus kiril |
| Hujjat tipi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Справочная книга по математической логике часть 3
Kitob mualliflari
Дворников С.Г.,
Лавров И.А.,
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
| Bilimlar sohasi: | | Matematika | |
|---|---|
| UDK | 512.8 |
| Kitob nashriyoti nomi: | Наука |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | |
| Kitob nashr qilingan yili: | 1982 Yil |
| Betlar Soni: | 360 |
