Editora da UFRNEditora da UFRN

Menu
K
P

Traduções via teoria da prova: Aplicações à lógica linear

  • Autor/ Organizador: Maria da Paz Nunes de Medeiros
  • ISBN: 9788572731644
  • Ano de publicação: 2002
  • Linha editorial
  • Coleção/ Série
  • Tipo de publicação: Impresso
  • Formato/suporte: Papel
  • Número de páginas: 149
  • Palavras-chaves: Lógica simbólica e matemática, Traduções
  • Sinopse
Voltar