Second volume of a two-volume set which is used as a textbook in boğaziçi university for a two-semester logic course in the early 1980's. This second volume deals with predicate logic and was used in the spring semester. The first volume is on the propositional logic and was used in the fall semester