@book{13684,
	author = {Quine, Willard Van Orman},
	title = {Mathematical logic},
	year = {1958}
}