فلسفه منطق [کتاب انگلیسی] Philosophy of logic English Univ. of California 1976 text Koerner, S book 9780520032354