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