@book{31940,
	title = {Classics in logic}
}