Visualizar impressão Fechar

Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

2 resultados com objetos digitais Mostrar os resultados com objetos digitais

Sur l’ensemble R dans NFw

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Ayda Ignez Arruda

Sistema DL

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

Semântica para D1

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

Ayda Ignez Arruda

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Artigo cálculos proposicionais

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Ayda Ignez Arruda

Matrizes

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Independência de axiomas

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

Resultados 31 até 60 de 261