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

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

510.6
М34    Математическая теория логического вывода [Текст] / Под ред. А.В. Идельсона, Г.Е. Минца. — М. : Наука, 1967. — 351с.

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

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

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

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



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