3 Review(s)

The most widely adopted of all symbolic logic texts leads students, gradually but progressively, to a thorough understanding of symbolic logic fundamentals. The treatment of the subject is mathematically rigorous, wherever necessary (e.g. Chapter on Set Theory) and the presentation is lucid. Solutions to selected exercises are provided at the end of the book and the three appendices, besides the list of symbolic notations, rules of inference, and quantification rules, enrich the readability of the text.