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