@book{7916,
	author = {Beth, Evert Willem.},
	title = {The foundations of mathematics :},
	publisher = {North-Holland,},
	year = {1965},
	series = {Studies in logic and the foundations of mathematics},
	address = {Amsterdam :},
	edition = {2nd rev. ed},
	note = {1st ed.: 1959}
}