Пошуковий запит: (<.>U=В124$<.>) |
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
|
1. | Чень Ч. Математическая логика и автоматическое доказательство теорем [Електронний ресурс] : пер. с англ. / Ч. Чень, Р. Ли. - М. : Наука, 1983. - 360 с.
|
2. | Фетисов А. И. О доказательстве в геометрии [Електронний ресурс] / А. И. Фетисов. - М. : Гос. изд-во технико-теоретической литературы, 1954. - 61 с.
|
3. | Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств [Електронний ресурс] / А. Г. Драгалин. - М. : Наука, 1979. - 256 с.
|
4. | Такеути Г. Теория доказательств [Електронний ресурс] : пер. с англ. / Г. Такеути. - М. : Мир, 1978. - 412 с.
|
5. | Манин Ю. И. Доказуемое и недоказуемое [Електронний ресурс] / Ю. И. Манин. - М. : Совет. радио, 1979. - 168 с.
|
6. | Математическая теория логического вывода [Електронний ресурс] / ред.: А. Идельсон, Г. Минц. - М. : Наука, 1967. - 352 с.
|
7. | Лакатос И. Доказательства и опровержения. Как доказываются теоремы [Електронний ресурс] : пер. с англ. / И. Лакатос. - М. : Наука, 1967. - 152 с.
|
8. | Крайзель Г. Исследования по теории доказательств [Електронний ресурс] : сборник статей : пер. с англ. / Г. Крайзель ; под ред. С. Ю. Маслова. - М. : Мир, 1981. - 289 с. - (Математика. Новое в зарубежной науке)
|
9. | Гильберт Д. Основания математики. Теория доказательств [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1982. - 652 с. - (Математическая логика и основания математики)
|