Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

BR SPCLEARQ FAIA-C-Cp-IT321
Item
? - 1981-12-30

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

Untitled

Carta de Richard Routley para AIA

BR SPCLEARQ FAIA-C-Cp-IT325
Item

Part of Ayda Ignez Arruda

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

Untitled

Carta de Ryszard Wójcicki para AIA

BR SPCLEARQ FAIA-C-Cp-IT326
Item
? - 1982-02-18

Part of Ayda 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.

Untitled

Carta de Ryszard Wójcicki para AIA

BR SPCLEARQ FAIA-C-Cp-IT327
Item
? - 1982-11-23

Part of Ayda 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.

Untitled

Cartão de Natal de Sava Petrov para AIA

BR SPCLEARQ FAIA-C-Cp-IT330
Item
? - 1983-01-03

Part of Ayda 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.

Untitled

Carta de Steve Giambrone para AIA

BR SPCLEARQ FAIA-C-Cp-IT331
Item
? - 2001-08

Part of Ayda 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.

Untitled

Cartão de Natal de Vladimir A. Smirnov para AIA

BR SPCLEARQ FAIA-C-Cp-IT334
Item

Part of Ayda Ignez Arruda

Cartão de Natal, em inglês, de Vladimir A. Smirnov para AIA, desejando votos de boas festas. Moscou, S.d. S.ass. 1p. ms.

Untitled

Carta de Luiz Paulo de Alcântara para AIA

BR SPCLEARQ FAIA-C-Cp-IT307
Item
? - 1982-09-27

Part of Ayda 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.

Untitled

Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT396
Item

Part of Ayda Ignez Arruda

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

Untitled

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Part of Ayda Ignez Arruda

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

Untitled

Cálculos Implicativos Gerais

BR SPCLEARQ FAIA-PIm-EL-IT409
Item

Part of Ayda Ignez Arruda

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

Untitled

Capítulo II - Teoria de conjuntos An

BR SPCLEARQ FAIA-PIm-EL-IT411
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Untitled

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Untitled

O sistema A de Ackermann

BR SPCLEARQ FAIA-PIm-EL-IT415
Item

Part of Ayda Ignez Arruda

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

Untitled

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Untitled

Estudos tratando sobre vários aspectos pertinentes à lógica relevante

BR SPCLEARQ FAIA-PIm-EL-IT433
Item
1976-08-29

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.

Untitled

Teoria de Conjuntos R e cálculos diversos

BR SPCLEARQ FAIA-PIm-EL-IT438
Item

Part of Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.

Untitled

Estudo contendo demonstrações de vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT439
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.

Untitled

Estudo contendo vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT440
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.

Untitled

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Item
1974

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

Untitled

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-Impr-IT505
Item
1966-12,

Part of Ayda 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.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Showing 261 results