Изобретение в середине XX века электронных компьютеров дало мощный импульс работам по автоматизации различных сторон интеллектуальной деятельности человека и привело к зарождению и бурному развитию нового научного направления — искусственного интеллекта. Одновременно возник интерес к предыстории искусственного интеллекта, в частности, к попыткам механизировать те или иные этапы процесса мышления. Так, в книге Мартина Гарднера «Логические машины и диаграммы» (1958 г.) объектом изучения стали логические машины — основанные на законах формальной логики устройства, история которых восходит к концу XIII века и которые предназначались для имитации процесса логического вывода. Эта книга давно и по праву считается классической, однако за прошедшее с момента ее появления время был накоплен значительный объем новых сведений об описанных американским ученым логических машинах. Более того, вне поля зрения Гарднера по разным причинам остались несколько логических машин, в том числе изобретенных в России. В предлагаемой вниманию читателей книге интереснейший феномен в истории логики и вычислительной техники — логические машины — впервые в мировой научной литературе рассматривается со всей возможной полнотой. Автор подробно рассказывает об истории создания всех известных логических машин, на многочисленных примерах объясняет принципы их устройства и функционирования, приводит и обсуждает их подчас крайне противоречивые оценки современниками и потомками, а также повествует о ярких и драматических судьбах их создателей.