@book{9248,
	author = {Suppes, Patrick},
	title = {Introduction to logic},
	year = {1959}
}