Mostrando 256 resultados

Descrição arquivística
Ayda Ignez Arruda s.l.
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Informe de apoio

Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, tratando sobre completude, consistência e decidibilidade de C. S.l., S.d. S.ass. 12p. ms.

Ayda Ignez Arruda

Resultados 91 até 100 de 256