@book{8488,
	author = {Sancho de San Román, Juan.},
	title = {Lógica matemática y computabilidad / },
	publisher = {Díaz de Santos, },
	year = {D.L. 1990.},
	address = {Madrid : }
}