Short Textbooks in Logic

This is a systematically designed book series that comprises of textbooks on various topics in logic. Though each book can be read independently, the series as a whole gives readers a comprehensive view of logic of the present time. Each book in the series is written clearly and concisely, and at the same time supplies plenty of well-planned examples and exercises to the point. The series is also aimed at providing readers with adequate explanations of scope and motivation of topics. The topics discussed in the series range from mathematical and philosophical logic to logical methods applied to computer science. Some will be introductory and some other will be advanced but not too much specific. Its targeted readers are advanced undergraduate as well as graduate students in philosophy, mathematics, computer science and the related fields. The series is also suitable for self-taught learning.