Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды к установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков.
Для студентов и аспирантов математических специальностей и специалистов, интересующихся основаниями математики.