Mostrando 743 resultados

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

19 resultados con objetos digitales Muestra los resultados con objetos digitales

Estudo de AIA sem título

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. 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

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

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

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

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

Carta de Luiz Paulo de Alcântara para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT307
  • Unidad documental simple
  • ? - 1982-09-27

    • Parte deAyda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

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

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

Álgebras de conjuntos não-clássicas

  • BR SPCLEARQ FAIA-PIm-A-IT360
  • Unidad documental simple
  • ? - 1966-10-17

    • Parte deAyda Ignez Arruda

Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia.

Sin título

Carta de Maria da Graça Rodrigues

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Sin título

Carta de Luiz Paulo de Alcântara para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT307
  • Unidad documental simple
  • ? - 1982-09-27

    • Parte deAyda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Sin título

Ofício GR n. 329/83 de José Aristodemo Pinotti

  • BR SPCLEARQ FAIA-C-Cp-IT293
  • Unidad documental simple
  • 1983-04-13

    • Parte deAyda Ignez Arruda

Ofício GR n. 329/83 de José Aristodemo Pinotti, reitor da Unicamp, para AIA, agradecendo e cancelando o jantar que lhe seria oferecido. Cidade Universitária ?Zeferino Vaz?, 13 abr. 1983. Ass.: José Aristodemo Pinotti. 2p. dat.

Sin título

Carta de J.C. Kuipers para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT284
  • Unidad documental simple
  • 1982-07-23

    • Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Resultados 631 a 660 de 743