ЛОГИЧЕСКИЕ вопросы теории типов данных : [Сб. ст.] / Науч. ред. чл.-кор. АН СССР Ю.Л. Ершов, д. ф.-м. н. С.С. Гончаров
Язык: русский.Выходные данные: Новосибирск : Ин-т математики, 1986Физическая характеристика: 139 с. : ил. ; 20 см.Серия: Вычислительные системы ; Вып. 114Библиография: Библиогр. в конце ст..Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский журнальный фонд | П10/2760 (Просмотр полки(Открывается ниже)) | Доступно | 5851878-10 |
Библиогр. в конце ст.