@book{25166,
	author = {Moor John, T.},
	title = {Fundemental principles of mathematics},
	year = {1960}
}