@book {6145,
	title = {A Journey through the Logic Wonderland},
	year = {2020},
	publisher = {Indian Institute of Engineering Science and Technology, Shibpur, Kolkata.},
	organization = {Indian Institute of Engineering Science and Technology, Shibpur, Kolkata.},
	author = {Mihir K Chakraborty and Sukanta Das and Subhasis Bandopadhyay and Kamalika Bhattacharjee and Raju Hazari and Sumit Adak and Souvik Roy and Supreeti Kamilya}
}
