| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Hujjat turi: | O‘quv qo‘llanma |
| Nashr tili: | Ruscha |
| Kataloglashtirish manbai: | Rus kiril |
| Hujjat tipi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Основания математической логики
Kitob mualliflari
Х.Б.Карри,
Книга американского учебного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей.
| Bilimlar sohasi: | | Matematika | |
|---|---|
| UDK | |
| Kitob nashriyoti nomi: | Мир |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | |
| Kitob nashr qilingan yili: | 1969 Yil |
| Betlar Soni: | 564 |
Kitobga aloqador kitoblar
Математик анализ курсидан мисол ва масалалар тўплами III
А.Саъдуллаев,
Г.Худойберганов,
X.Мансуров,
А.Борисов,
Т.Туйчиев,
Математик анализ курсидан мисол ва масалалар тўплами II
А.Саъдуллаев,
Х.Мансуров,
А.Ворисов,
Г.Худойберганов,
Р.Ғуломов,
Sport o'yinlari bo'yicha musobaqalar o'tkazish va hakamlik qilish
D.K.Karimov,
N.Sh.Safarboyev,
SH.N.Tuxtapulatov,