Definition and induction : a historical and comparative study - Chakrabarti, Kisor Kumar (University of Hawaiʻi Press, 1995)