Discussão:Base de Herbrand

		Este artigo foi avaliado automaticamente com qualidade 1 e faz parte do âmbito de um WikiProjeto: Lógica.
		Para o WikiProjeto:Lógica este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso.
Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima.

Este artigo foi desenvolvido e/ou revisto no âmbito de uma atividade educacional em dezembro de 2006. Estão disponíveis mais detalhes.