@book{14185,
	author = {Frausto Solis, Juan and Sanchez Ante, Gildardo},
	title = {Fundamentos de lógica computacional.},
	publisher = {Trillas,},
	year = {2000.},
	address = {México :}
}