Imprimir vista previa Cerrar

Mostrando 269 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :
Descendente

7 resultados con objetos digitales Muestra los resultados con objetos digitales

O sistema A de Ackermann

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

Sin título

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. 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

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

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

Mathematical Logic

  • BR SPCLEARQ FAIA-Impr-IT508
  • Unidad documental simple
  • [1978]

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Sin título

Une sémantique pour le calcul C1=. C.R

  • BR SPCLEARQ FAIA-Impr-IT506
  • Unidad documental simple
  • 1977-01-31

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

Sin título

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-Impr-IT505
  • Unidad documental simple
  • 1966-12,

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Sin título

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-Impr-IT504
  • Unidad documental simple
  • 1964-11-02

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

Sin título

Resultados 31 a 60 de 269