Книга о методах математической логики и истории ее формирования. Автор описывает узловые вехи в становлении и развитии наиболее ценных с современной точки зрения логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной логики до идеографии Д.Пеано, от силлогистики Аристотеля до Г. Лейбница и алгебро-логических концепций XIX-XX вв.