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