| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Hujjat turi: | Ma'lumotnoma |
| Nashr tili: | Ruscha |
| Kataloglashtirish manbai: | Rus kiril |
| Hujjat tipi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Справочная книга по математической логике.Теория доказательств и конструктивная математика). Ч.IV
Kitob mualliflari
Дж.Барвайса,
Теоремы о неполноте, Теория доказательств: некоторые приложения устранения сечения, Теорема Эрбрана и генценовское понятие прямого доказательства, Теории конечного типа, родственные математической практике, Аспекты конструктивной математики, Логика топосов, Бестиповое Лямда - исчисление: Математическая неполнота в арифметике Пеано. и др.
| Bilimlar sohasi: | | Matematika | |
|---|---|
| UDK | 512.8 |
| Kitob nashriyoti nomi: | Наука |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | |
| Kitob nashr qilingan yili: | 1982 Yil |
| Betlar Soni: | 392 |
