The Logical enterprise

Alan Ross Anderson , Ruth Barcan Marcus , Richard Milton Martin