В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория
Отличный задачник для 1-2 курсов студентов математиков и информатиков. Есть очень сложные задачи, но есть и немного простеньких. Вполне достаточно, чтобы обеспечить задачами не только средний, но и углубленный курс математической логики и теории алгоритмов.