Mostrando 261 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de Richard Routley para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT321
  • Unidad documental simple
  • ? - 1981-12-30

    • Parte deAyda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos. Austrália, 30 dez. 1981. Ass.: Richard Routley. 1p. ms.

Sin título

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.

Sin título

Carta de Ryszard Wójcicki para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT326
  • Unidad documental simple
  • ? - 1982-02-18

    • Parte deAyda Ignez Arruda

Carta, em inglês, de Ryszard Wójcicki para AIA, agradecendo resposta à correspondência anterior. S.l., 18 fev. 1982. Ass.: R. Wójcicki. 1p. dat.

Sin título

Carta de Ryszard Wójcicki para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT327
  • Unidad documental simple
  • ? - 1982-11-23

    • Parte deAyda Ignez Arruda

Carta, em inglês, de Ryszard Wojcick para AIA e outros, comunicando aprovação da lista de editores da Studia Logica. S.l., 23 nov. 1982. Ass.: Ryszard Wojcick. 1p. dat.

Sin título

Cartão de Natal de Sava Petrov para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT330
  • Unidad documental simple
  • ? - 1983-01-03

    • Parte deAyda Ignez Arruda

Cartão de Natal, em inglês, de Sava Petrov para AIA, desejando um feliz ano e agradecendo o envio das revistas Cadernos de História da Ciência e Manuscrito. S.l., 03 jan. 1983. Ass.: ( __ ). 1p. dat.

Sin título

Carta de Steve Giambrone para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT331
  • Unidad documental simple
  • ? - 2001-08

    • Parte deAyda Ignez Arruda

Carta, em inglês, de Steve Giambrone para AIA, solicitando bibliografia da versão do livro A Survey of Paraconsistent Logic. Austrália, 08 jan. - . Ass.: Steve Giambrone. 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

Cálculo Proposicional

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

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. 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

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

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.

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

Resultados 241 a 261 de 261