@book{89153,
	author = {Lightstone A H},
	title = {Symbolic logic and the real number system},
	year = {1965}
}