Книга "Завдання з теорії множин, математичної логіки та теорії алгоритмів" - Лавров І.

У книзі у формі завдань систематично викладено основи теорії множин, математичної логіки та теорії алгоритмів. Книга призначена для активного вивчення математичної логіки та суміжних із нею наук.

Складається із трьох частин: "Теорія множин", "Математична логіка" та "Теорія алгоритмів". Завдання забезпечені вказівками та відповідями. Усі необхідні визначення сформульовані в коротких теоретичних вступах до кожного параграфа.

Збірник може бути використаний як навчальний посібник для математичних факультетів університетів, педагогічних інститутів, а також у технічних вишах щодо кібернетики та інформатики. Для математиків - алгебраїстів, логіків та кібернетиків.