О сложности выводов в интуиционистском исчислении высказываний
Язык: русский.Выходные данные: Москва : Б. и., 1977Физическая характеристика: 55 с. : ил. ; 20 см.Серия: Ин-т прикл. математики АН СССР. Препринт ; № 120Библиография: Библиогр.: с. 55. Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж, Хран. | 78-4/2784 (Просмотр полки(Открывается ниже)) | Доступно | 6583194-10 |
Библиогр.: с. 55