| 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 |
Логический вывод
Kitob mualliflari
В.А. Смирнов,
Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках.
| Bilimlar sohasi: | | Fizika | |
|---|---|
| UDK | 53 |
| Kitob nashriyoti nomi: | Наука |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | |
| Kitob nashr qilingan yili: | 1979 Yil |
| Betlar Soni: | 312 |
