@book{8570,
	author = {Lakatos, Imre },
	title = {Problems in the philosophy of mathematics},
	publisher = {North-Holland},
	year = {1967},
	address = {Amsterdam}
}