| Название: | О полноте классического исчисления предикатов в конструктивной математической логике |
| Авторы: | Марков, А.А. |
| Дата публикации: | 1974 |
| Издательство: | Наука |
| Библиографическое описание: | Марков, А.А. О полноте классического исчисления предикатов в конструктивной математической логике / А.А. Марков // Доклада Академии наук СССР. - Москва : Наука, 1974. - Т. 215, № 2. - С. 266-269. |
| URI (Унифицированный идентификатор ресурса): | https://elib.gsu.by/handle123456789/83555 |
| Располагается в коллекциях: | Оцифрованный фонд |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Марков_О_полноте.pdf | 273.81 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.