Математическая логика

Настоящая книга содержит теоретический материал по курсу «Математическая логика», а также упражнения для активного усвоения курса и приобретения необходимых навыков. Знакомство с языком математической логики и некоторыми ее методами поможет учащимся приобрести навыки правильного рассуждения, отчетливых формулировок, краткой и корректной записи математических предложений. Изложение базируется на знаниях по математике, полученных учащимися в средней школе, и на усвоенных ими языковых нормах.Книга рекомендуется учащимся средних специальных учебных заведений (техникумов, колледжей, лицеев). Она также будет полезна преподавателям, учителям средних школ, школьникам старших классов, студентам педагогических вузов.