@book{59344,
	author = {Bostock David},
	title = {Logic and arithmetic},
	publisher = {Clarendon Press        },
	year = {1974},
	address = {Oxford}
}