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