CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.
Ayda Ignez ArrudaTextual
1957 Descrição arquivística resultados para Textual
COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.
Ayda Ignez ArrudaCOSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Ayda Ignez ArrudaCLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.
Ayda Ignez ArrudaCHAPIN Jr., E. William. Measures of centrality and complexity for partial propositional calculi. Arch. Match. Logik, v.15, p. 7-18, 1972.
Ayda Ignez ArrudaBULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 168, out. 1979.
Ayda Ignez ArrudaCARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.
Ayda Ignez ArrudaBOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981.
Ayda Ignez ArrudaBRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p
Ayda Ignez ArrudaBOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.201, 23 nov. 1981.
Ayda Ignez Arruda