@book{8775,
	author = {Luckhardt, Horst},
	title = {Extensional godel functional interpretation; a consistency proof of classical analysis},
	publisher = {Springer-Verlag},
	year = {1973},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}