Ершов, Юрий Леонидович <br/><br/>
Математическая логика :  Учебное пособие / 
Ю.Л. Ершов и Е.А. Палютин. 
 - 2-е изд., испр. и доп. 
 - Москва :  Наука. Гл. ред. физ.-мат. лит.,  1987. 
 - 336 с. 
<br/><br/> [ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ]. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика
<br/><br/><label>Subjects--Index Terms: </label>Исчисления Теория множеств Предикаты и отображения Фильтры булевой алгебры