Прикладная логика: Учебное пособие - Непейвода Николай Николаевич (Издательство Удмуртского университета, 1997)