В. Г. Новосёлов. Основы формальной логики. М.:Новосибирский государственный технический университет, 2016