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

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

Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей—известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). 
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов. 

В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов математической логики и многих ее приложении.