@book{31612,
	author = {Lightstone, A H},
	title = {Symbolic Logic and the Real Number System},
	publisher = {Harper & Row, Publishers},
	address = {1965}
}
