Mostrar 256 resultados

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

Procurar resultados com:

em
Adicionar novo critério

Limitar resultados:

Filtrar os resultados por:

Filtrar por intervalo de datas:

Use estas opções para especificar como o intervalo de datas retorna resultados. "Exato" significa que as datas de início e fim das descrições devolvidas devem cair inteiramente dentro do intervalo de datas introduzido. "Sobreposição" significa que qualquer descrição, cuja data de início ou fim tocar ou sobrepor o intervalo de datas-alvo, será devolvida.
Previsualizar a impressão Ver:
Ascendente

Informe de apoio

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Ayda Ignez Arruda

Apontamentos

Estudo de AIA sobre dualidade entre C1 e C1. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.

Ayda Ignez Arruda

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

Resultados 21 a 30 de 256