Mostrando 743 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :
Clasificación en orden ascendente

19 resultados con objetos digitales Muestra los resultados con objetos digitales

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Sin título

Silogismos Não-Aristotélicos

Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

Sin título

Sobre A Teoria dos Tipos

Sobre A Teoria dos Tipos

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Sin título

Une sémantique pour le calcul C1=

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Sin título

Artigo sem título

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Sin título

Os sistemas P e P*,

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. 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

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. 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

Introdução: 3 – Matrizes

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

Sin título

Matrizes

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. 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

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

Cálculos Implicativos Gerais

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

Sin título

Resultados 631 a 660 de 743