Deductive logic anbd descriptive language - Harrison Frank R (Englewood Cliffs Prentice Hall, 1969)
Keywords: PHILOSOPHY