Nicholas of Autrecourt, Buridan and Ockhamism