Introduction to logic (New York : Grolier International, 1983.)