@book{56610,
	author = {Goodstein, R. L.},
	title = {Development of mathematical logic /},
	publisher = {Logos Press,},
	year = {1961},
	address = {London :},
	edition = {2nd ed.}
}