@book{1693,
	author = {Quine, W. V.},
	title = {Mathematical logic.},
	publisher = {Harvard University Press,},
	year = {1951.},
	address = {Cambridge,},
	edition = {Rev. ed.},
	note = {Includes index.}
}