| Номер документа в системі: | 94894 |
| Автор: | Дегтярев А.И. |
| Назва документа: | Об использовании аксиом функциональной рефлексивности в Р & R процедуре опровержения |
| Видавництво: | АН УССР. Ин-т кибернетики |
| Місто видання: | К. |
| Рік видання: | 1975 |
| УДК | 517.5 |
| Мова документу | Російська |
| Шифр документу | 517 |
| Кількість сторінок | 28 с. |