@book{3133,
	author = {Asirvatham,A},
	title = {Concise intermediate Logic part II induction},
	year = {1954}
}