@Book{Costa1993, title = {Sistemas formais inconsistentes}, publisher = {Editora UFPR}, year = {1993}, author = {Da Costa, Newton CA}, volume = {3}, }