@book{6455,
	author = {Smith, Karl J.},
	title = {Introducción a la Lógica Simbólica /},
	publisher = {Iberoamericana,},
	year = {1991.},
	address = {México :}
}