Исследования по теории доказательств Г. Крайзель
Сохранить в:
| Автор: | |
|---|---|
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Мир 1981
|
| Рубрика: | |
| Ключевые слова: |
| LEADER | 01424nam0a2200313 i 4500 | ||
|---|---|---|---|
| 001 | 8F130542-9AF4-4371-8858-D905EA297DE7 | ||
| 100 | |a 20200519d1981 k y0rusy02 ca | ||
| 101 | 0 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a y zz 000#y | ||
| 200 | 1 | |a Исследования по теории доказательств |e сборник статей |f Г. Крайзель |g перевод с английского Ю. А. Гастева, Г. Е. Минца ; под редакцией С. Ю. Маслова | |
| 210 | |a Москва |c Мир |d 1981 | ||
| 215 | |a 289с. |d 21 см | ||
| 225 | 2 | |a Математика. Новое в зарубежной науке |f редакторы серии: А. Н. Колмогоров, С. П. Новиков |v 23 | |
| 320 | |a Библиография в конце статей | ||
| 606 | |a Теоремы |x Доказательство | ||
| 606 | |a Математическая логика | ||
| 686 | |a 22 |2 rubbk | ||
| 686 | |a 27.03.19 |2 rugasnti | ||
| 700 | 1 | |a Крайзель |b Г. | |
| 702 | 1 | |a Гастев |b Ю. А. |g Юрий Алексеевич |4 730 | |
| 702 | 1 | |a Минц |b Г. Е. |4 730 | |
| 702 | 1 | |a Маслов |b С. Ю. |4 340 | |
| 702 | 1 | |a Колмогоров |b А. Н. |g Андрей Николаевич |4 340 | |
| 702 | 1 | |a Новиков |b С. П. |g Сергей Петрович |4 340 | |
| 801 | 0 | |b ГПНТБ России |a RU |c 20200519 | |