Mostrando 5150 resultados

Descripción archivística
Imprimir vista previa Ver :

1786 resultados con objetos digitales Muestra los resultados con objetos digitales

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Sin título

A teoria de primeira ordem v

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

Sin título

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.

Sin título

Matrizes

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

Sin título

Introdução: 3 – Matrizes

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Sin título

Independência de axiomas

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

Sin título

Carta de John Corcoran

Carta de John Corcoran a NCAC agradecendo a atenção recebida, descreve o currículo de Hewing e pedindo a NCAC que o chame pelo seu primeiro nome. S.l., 18 de jan. de 1975. 2p. (ms)

Regresso de Genebra

Almirante Álvaro Alberto da Mota e Silva, Joaquim da Costa Ribeiro e outros

Sin título

Cálculo Proposicional

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

Sin título

Aplicação de Matrizes

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Estudo de AIA

Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

Sin título

Estudo sobre a completude de C+

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

Sin título

Carta de Jerzy Perzaniwsky

Carta de Jerzy Perzaniwsky a NCAC discutindo sobre seus trabalhos "Odontological Investigation" e "Lógica Modal". João Pessoa, Paraíba, 5 de mar. 1991. 2p. (ms)
Resultados 811 a 840 de 5150