Шифр: 510.6(03) С74
Справочная книга по математической логике : в 4-х ч.; пер. с англ. Т. 4. Теория доказательств и конструктивная математика / под ред. Д. Барвайса. – Москва : Наука, 1983. – 391 с. – 2,10
Справочная книга по математической логике : в 4-х ч.; пер. с англ. Т. 4. Теория доказательств и конструктивная математика / под ред. Д. Барвайса. – Москва : Наука, 1983. – 391 с. – 2,10
Статистика використання: Видач: 0
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 6 | 6 |
Тема:
- УДК
- 510.6 Математична логіка Ключові слова
- математика, mathematics, mathematique, matematyka,Mathematik
- довідники, справочники, handbooks, reference, guides, Nachschlagbuch, Handbuch
- правило логічного доказу, правило логического доказательства
- математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik
- теорія доведення, теория доказательства