@book{51207,
	author = {Eberle, Rolf A.},
	title = {Logic and proof technology},
	publisher = {New Central Book Agency},
	year = {1996},
	address = {Calcutta}
}