@book{8102,
	author = {SOUZA, João Nunes de},
	title = {Lógica para Ciência da Computação e áreas afins :},
	publisher = {Elsevier,},
	year = {2015.},
	series = {SOCIEDADE BRASILEIRA DE COMPUTAÇÃO},
	address = {Rio de Janeiro : },
	edition = {3. ed. Ampl.}
}