deduction logic - Leblanc Hugues; Wisdom William A. (Boston Allyn and Bacon Inc)
Keywords: PHILOSOPHY