Научно-популярная литература по математической логике очень обширна и рассчитана на самые различные категории читателей. Школьники или взрослые, читающие популярную литературу в свободное от работы время, могут найти в ней большое число забавных логических задач. Читатель, желающий пополнить свой математический багаж, в надежде, что это поможет в его практической деятельности. найдет в ней подробные описания практических (часто — псевдопрактических) приложений логики. Большое число популярных книг по логике порождено надеждой, что благодаря алгебре логики все школьники наконец-таки начнут разбираться в необходимых и достаточных условиях и прочих логических вопросах школьного курса математики. Пристрастие преподавателей математического анализа к вопросам о последовательностях, не имеющих предела, неравномерно непрерывных функциях и т. д. породило руководства, содержащие основанные на кванторах рецепты автоматического (без размышлений!) построения определений отрицательных понятий. Мы определенно не сможем перечислить все то, что читатель может почерпнуть в существующих книгах по математической логике. Мы все же решились увеличить на одну и без того большое число книг по логике, так как в большинстве известных нам элементарных книг в очень небольшой степени учтены интересы читателя, заинтересованного в содержательных — с точки зрения математика — теоремах и задачах. Этим читателям — в первую очередь студентам младших курсов университетов и пединститутов и ученикам старших классов математических школ — и адресована настоящая книга. Нам представляется полезным знакомство студентов-математиков с идеями конечной математики, в частности, алгебры логики, поскольку они качественно отличаются от идей традиционного университетского курса математики. Воспроизведено в оригинальной авторской орфографии издания 1972 года (издательство "Наука").