Title: A text-book of dedustive logic