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

Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...