Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

510.6
С50Смирнов, В. А.
    Формальный вывод и логические исчисления [Текст] / В.А. Смирнов. — АН СССР. Ин-т философии. — М. : Наука, 1972. — 271с.

- Ключові слова:

математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik

- Теми документа

  • УДК // Математична логіка



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 1 Перейти на сайт