@book{21687,
	author = {R. B. J. T. Allenby},
	title = {Numbers and proofs},
	publisher = {Aronld,},
	year = {1997},
	address = {London,UK:}
}