@book{24513,
	author = {Carlsen-Jones, Michael T},
	title = {Introduction to Logic},
	address = {New York}
}