Sistemas Formais Inconsistentes
Newton Carneiro Affonso da Costa
Da Apresentação de Capa:
A partir de 1991 a Mathematics Subject Classification passa a registrar o verbete 03B53: Paraconsistent Logic. Isso significa que a lógica paraconsistente se torna oficialmente um domínio da atividade matemática atual, sendo que a obra aqui editada constitui o verdadeiro marco inicial desta área de investigação.
Apresentada como tese de cátedra em Análise Matemática e Análise Superior, em 1964, Sistemas Formais Inconsistentes projetou internacionalmente seu Autor.
A partir de 1991 a Mathematics Subject Classification passa a registrar o verbete 03B53: Paraconsistent Logic. Isso significa que a lógica paraconsistente se torna oficialmente um domínio da atividade matemática atual, sendo que a obra aqui editada constitui o verdadeiro marco inicial desta área de investigação.
Apresentada como tese de cátedra em Análise Matemática e Análise Superior, em 1964, Sistemas Formais Inconsistentes projetou internacionalmente seu Autor.
Категорії:
Рік:
1993
Видавництво:
Editora da Universidade Federal do Paraná
Мова:
portuguese
Сторінки:
94
ISBN 10:
8585132752
ISBN 13:
9788585132750
Серії:
Série Clássicos, nº 3
Файл:
DJVU, 1.62 MB
IPFS:
,
portuguese, 1993