@book{24190,
	author = {Smith, Peter},
	title = {An introduction to formal logic},
	publisher = {Cambridge University Press,},
	year = {2003.},
	address = {Cambridge :},
	note = {Includes bibliographical references and index}
}