DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.
Ayda Ignez ArrudaTextual
1935 Descrição arquivística resultados para Textual
FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.
Ayda Ignez ArrudaLARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79.
Ayda Ignez ArrudaLUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.
Ayda Ignez ArrudaMcLAUGHLIN, 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 ArrudaPOST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.
Ayda Ignez ArrudaROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.
Ayda Ignez ArrudaSADEGH-ZADEH, K. Grundalagenprobleme Einer theorie der klinischen praxis. Metamed, v.1, p.76-102, 1977.
Ayda Ignez ArrudaArtigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.
Ayda Ignez ArrudaArtigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.
Ayda Ignez Arruda