@book{2485,
	author = {Quine, Willard Van Orman.},
	title = {Mathematical logic.},
	publisher = {Harvard University Press},
	year = {1955.},
	address = {Cambridge}
}