Зведений каталог бібліотек Тернополя
22.1Х94Хромой, Я. В. Збірник вправ і задач з математичної логіки [Текст] : навч. посіб. для студ. фіз.-мат. фак. пед. ін-тів / Я.В. Хромой. — К. : Вища шк., 1978. — 160 с.
- Анотація:
Сборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничивается алгеброй высказываний, исчислением высказываний и не включает упражнений на формальное исчисление предикатов.
- Теми документа