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

Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT483
Item
1977

ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.

Ayda Ignez Arruda

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT482
Item
1977-08

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Sistemas Formais Inconsistentes e Teoria dos Conjuntos

BR SPCLEARQ FAIA-Impr-IT481
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.

Ayda Ignez Arruda

Remarques sur les systèmes Cn. C.R. Acad. Sc

BR SPCLEARQ FAIA-Impr-IT480
Item
1975-05-21

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975

Ayda Ignez Arruda

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT48
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Carta de Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT48
Item
1972-06-07

Parte de Newton Carneiro Affonso da Costa

Carta de Leopoldo Nachbin a NCAC confirmando o recebimento de correspondência, comentando sobre o Colóquio de Análise e desejando uma feliz e proveitosa estada em Berkeley. S.l., 7 de junho de 1972. 1p.

Regresso de Nova York

BR SPCLEARQ JCR-F-IT48
Item
1956-04-15

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT48
Item
1983-06-28

Parte de Newton Carneiro Affonso da Costa

Telex de Eudenilson Lins de Albuquerque a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT48
Item
1983-10-31

Parte de José Carlos Valladão de Mattos

Telex de Eudenilson Lins de Albuquerque a JCVM convidando para participar do I Encontro de Físicos do Nordeste.

José Carlos Valladão de Mattos

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT48
Item
25-30 set. 1998

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Cristiano Novaes Rezende, Lucas Angioni

Associação Nacional de Pós-graduação em Filosofia

Remarks on da Costa Paraconsistent set theories

BR SPCLEARQ FAIA-Impr-IT479
Item
1982-02

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

On the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT478
Item
1968

Parte de Ayda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasil'év

BR SPCLEARQ FAIA-Impr-IT477
Item
1978-06

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability

BR SPCLEARQ FAIA-Impr-IT476
Item
1977

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

Ayda Ignez Arruda

On Griss propositional calculus

BR SPCLEARQ FAIA-Impr-IT475
Item
1971-09

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Ayda Ignez Arruda

N.A. Vasili’év e a Lógica Paraconsistente

BR SPCLEARQ FAIA-Impr-IT474
Item
1978

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Le schéma de la séparation dans les systèmes NFn

BR SPCLEARQ FAIA-Impr-IT473
Item
1975-05-26

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.

Ayda Ignez Arruda

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Item
1971-05-03

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Ayda Ignez Arruda

Considerações sobre os Sistemas Fomais NFn

BR SPCLEARQ FAIA-Impr-IT471
Item
1964

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Ayda Ignez Arruda

Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent

BR SPCLEARQ FAIA-Impr-IT470
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

Ayda Ignez Arruda

Carta de JCVM aos Caros Colegas da Unicamp

BR SPCLEARQ CJCVM-C-Ca-IT47
Item

Parte de José Carlos Valladão de Mattos

Carta de JCVM aos Caros Colegas da Unicamp manifestando sua opinião sobre a atual greve da Unicamp

José Carlos Valladão de Mattos

Carta de Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT47
Item
1961-06-01

Parte de Newton Carneiro Affonso da Costa

Carta de Leopoldo Nachbin a NCAC comentando sobre a tradução das notas de Hoffman, solicitando que faça o prefácio e esclarecendo detalhes sobre a coleção Monografias, da Sociedade Paranaense de Matemática. S.l., 1 de jun. de 1961. 2p.

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT47
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Regresso de Nova York

BR SPCLEARQ JCR-F-IT47
Item
1956-04-15

Parte de Joaquim da Costa Ribeiro

Sergio, Jeanne, Luiz, Yvone, Almirante Álvaro Alberto da Mota e Silva e Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT47
Item
1983-04-22

Parte de Newton Carneiro Affonso da Costa

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT47
Item
25-30 set. 1998

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Conferência do Professor Osvaldo Giacoia Jr., Marilena de Souza Chaui e Fátima Regina R. Évora

Associação Nacional de Pós-graduação em Filosofia

Aspects of the historical development of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT469
Item
1980-02

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, 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 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 Evolução do Método Axiomático

BR SPCLEARQ FAIA-Impr-IT466
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Gênero

Nível de descrição

Tipo de mídia

Mostrando 5150 resultados