Book

Logic and Its Applications

by Sujata Ghosh, Sanjiva Prasad