Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
Podrobno izlozheny osnovy matematicheskoj logiki, privlechen material shkolnogo kursa matematiki dlja ego logicheskogo analiza, okharakterizovany vzaimosvjazi matematicheskoj logiki s kompjuterami i informatikoj. Dlja studentov universitetov, tekhnicheskikh i pedagogicheskikh vuzov, obuchajuschikhsja po spetsialnostjam "Matematika", "Prikladnaja matematika", "Matematik-pedagog", "Uchitel matematiki" na urovnjakh bakalavriata, magistratury, a takzhe spetsialiteta.
