(Свободных экземпляров нет) Вид документа : Однотомное издание Шифр издания : 32.973/Л 69 Заглавие : Логика и компьютер. Моделирование рассуждений и проверка правильности программ : научно-популярная литература Выходные данные : М.: Наука, 1990 Колич.характеристики :239 с ISBN, Цена 5-02-007156-0: 0.65 р. ББК : 32.973 Предметные рубрики: Вычислительная техника. Программирование-- Программные средства (программное обеспечение)-- Программирование Экземпляры :Ф11-Библ.№13(1)