- BR SPCLEARQ AIA-I-16
- Item
- s.d.
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
3440 resultados diretamente relacionados Excluir termos específicos
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
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 138, s.d.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.
Ayda Ignez Arruda
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
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
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.
Ayda Ignez Arruda