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