@book{76940,
	author = {Goodstein, R. L.},
	title = {Recursive analysis /},
	publisher = {Dover Publications,},
	year = {2010.},
	series = {Dover books on mathematics},
	address = {Mineola, New York :}
}