В 1921 году появилось сообщение о крупном исследовании в области алгебры логики, выполненном известным американским математиком Э. Постом. Однако только через 20 лет, в 1941 году, автору удалось оформить этот труд в вид монографии "Two-valued iterative systems". Основным результатом этой работы является построение всех подалгебр (замкнутых систем) алгебры логики.Данный труд, как это отражено в его заглавии, содержит упомянутые результаты Поста и опирается на его работу. Из неё заимствована общая идея доказательства, формулировки многих лемм и некоторые рассуждения. Воспроизведено в оригинальной авторской орфографии издания 1966 года (издательство "Наука").