@book{8726,
	author = {Conference on "Mathematical Logic", Ist., Brazilian, 1977 and Arrude, Ayda I.},
	title = {Mathematical logic},
	publisher = {Marcel Dekker,},
	year = {1978},
	address = {New York:}
}