Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

BR SPCLEARQ FAIA-Impr-IT535
Item
1964-10

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Ayda Ignez Arruda

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Ayda Ignez Arruda

A partial comparison of two conditions on the intersections of regressive sets

BR SPCLEARQ FAIA-Impr-IT549
Item
1977

Parte de Ayda Ignez Arruda

McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.

Ayda Ignez Arruda

A Questão Tecnológica e o CpdD-Telebrás

BR SPCLEARQ CJCVM-PIm-IT204
Item

Parte de José Carlos Valladão de Mattos

José Carlos Valladão de Mattos

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Ayda Ignez Arruda

A survey of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT467
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Ayda Ignez Arruda

A Survey of Paraconsistent Logic. Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT468
Item
1980

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 ? 41.

Ayda Ignez Arruda

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Parte de Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Ayda Ignez Arruda

Acelerador de Partícula e Antipartícula: paradoxos da natureza

BR SPCLEARQ CJCVM-PIm-IT205
Item

Parte de José Carlos Valladão de Mattos

José Carlos Valladão de Mattos

Adendo ao processo 78/0232

BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT060
Item

Parte de Ayda Ignez Arruda

Adendo ao processo 78/0232 aprovando a utilização de saldo de dezenove mil e quinhentos cruzeiros no pagamento de mais de um mês de manutenção do professor Leslaw Szczerba.

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT296
Item
1982-02-13

Parte de Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT297
Item
? - 1982-12-25

Parte de Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT298
Item
? - 1983-01-05

Parte de Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT299
Item
? - 1983-03-05

Parte de Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT11
Item
1928

Limite seus resultados por:

Mostrando 1729 resultados