@book{25640,
	author = {Jeffrey, Richard},
	title = {Formal logic},
	address = {New York}
}