| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Turi: | O‘quv qo‘llanma |
| Tili: | Ruscha |
| Kitob yozuvi: | Rus kiril |
| Matn turi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Основания математической логики
Kitob mualliflari
Х.Б.Карри,
Книга американского учебного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей.
| Fan yoʻnalishi: | | Matematika | |
|---|---|
| UDK | |
| Kitob nashriyoti nomi: | Мир |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | |
| Kitob nashr qilingan yili: | 1969 Yil |
| Betlar Soni: | 564 |
Kitobga aloqador kitoblar
Математик анализ курсидан мисол ва масалалар тўплами 3
А.САЪДУЛЛАЕВ,
Г.ХУДОЙБЕРГАНОВ,
X.МАНСУРОВ,
А.БОРИСОВ,
Т.ТУЙЧИЕВ,
Математик анализ курсидан мисол ва масалалар тўплами II
А.САЪДУЛЛАЕВ,
Х.МАНСУРОВ,
А.ВОРИСОВ,
Г.ХУДОЙБЕРГАНОВ,
Р.ҒУЛОМОВ,
