Первое знакомство с математической логикой

Депман, И. Я. Первое знакомство с математической логикой / Иван Яковлевич Депман ; [Худож. Ю.А. Маньшикова]. - Москва : Издательский Дом Мещерякова, 2018. - 72 с. : ил. - (Пифагоровы штаны). 

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

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