@misc{misca0f53bf7,
title   = {Lógica de primeira ordem},
author = {Loparic, Andréa M. A. de Campos and Mazak, René Pierre and Vicente, Luciano},
year = {2009},
publisher = {Editora UNESP}
}