“Objectivist Logic”–a course at ARU