Название: Об интуиционистской выводимости некоторых реализуемых формул логики высказываний
Авторы: Кабаков, Ф.А.
Дата публикации: 1970
Издательство: Наука
Библиографическое описание: Кабаков, Ф.А. Об интуиционистской выводимости некоторых реализуемых формул логики высказываний / Ф.А. Кабаков // Доклады Академии наук СССР. - Москва : Наука, 1970. - Т. 192, № 2. - С. 269 - 271.
URI (Унифицированный идентификатор ресурса): https://elib.gsu.by/handle123456789/69231
Располагается в коллекциях:Оцифрованный фонд

Файлы этого ресурса:
Файл Описание РазмерФормат 
Кабаков_Об_интуиционистской.pdf503.31 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.