First 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 first volume deals with propositional logic and was used in the fall semester. The second volume is on the predicate logic and was used in the second semester..