Logika - Machovec, Milan, 1925-2003 (Učební texty vysokých škol, 1951)