Ruth Barcan Marcus · Study