Ockham, Buridan, and Nicholas of Autrecourt