@inbook {RN17,
	title = {Provar e mostrar},
	booktitle = {Racionalidade e a{\c c}{\~a}o},
	year = {1992},
	note = {n/a},
	pages = {179-206},
	publisher = {Editora da Universidade (UFRGS)},
	organization = {Editora da Universidade (UFRGS)},
	type = {Book Section},
	address = {Porto Alegre},
	abstract = {n/a},
	author = {Faria, Paulo},
	editor = {Rohden, V.}
}
