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.
Categorías:
Año:
1993
Editorial:
Editora da Universidade Federal do Paraná
Idioma:
portuguese
Páginas:
94
ISBN 10:
8585132752
ISBN 13:
9788585132750
Serie:
Série Clássicos, nº 3
Archivo:
DJVU, 1.62 MB
IPFS:
,
portuguese, 1993
Amazon 
Barnes & Noble 
Bookshop.org
¿Quieres añadir una librería? Contáctanos a través de support@z-lib.fm
Convierte archivos
Más resultados de búsqueda
Otros beneficios 
Términos más frecuentes
Listas de libros relacionados
