Logical form predication and ontology - Sen, Pranab Kumar (Macmillan India, 1982)