15 resultados com objetos digitais Mostrar os resultados com objetos digitais
Une sémantique pour le calcul C1
Parte deAyda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.
Ayda Ignez Arruda
Normas da eleição para colégio eleitoral do IMECC
Parte deAyda Ignez Arruda
Documento contendo normas da eleição para colégio eleitoral do IMECC.
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo contendo o processo 1932/81.
Ayda Ignez Arruda
O Governo Federal e as Consultas às Bases para Escolha do Reitor da Unicamp
Parte deAyda Ignez Arruda
Texto de Rubem Alves intitulado O Governo Federal e as Consultas às Bases para Escolha do Reitor da Unicamp.
Ayda Ignez Arruda
Reportagem da Revista Istoé Universidade Burra
Parte deAyda Ignez Arruda
Reportagem da revista Istoé intitulada Universidade burra, escrita por Roberto de Pompeu Toledo, a respeito dos atos do reitor da Unicamp.
Ayda Ignez Arruda
Trecho de reportagem O Diário de Piracicaba
Parte deAyda Ignez Arruda
Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz
Ayda Ignez Arruda
Comunicado do gabinete do reitor da Unicamp
Parte deAyda Ignez Arruda
Comunicado do gabinete do reitor da Unicamp, esclarecendo alguns fatos relativos aos atos do reitor. Cidade Universitária "Zeferino Vaz
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Boletim n.46 da Associação dos Professores da Pontifícia Universidade Católica de São Paulo (APROPUC) em apoio aos setores atingidos pela intervenção.
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo, contendo despachos do reitor da Unicamp, indeferindo as solicitações de fruição da licença-prêmio de alguns funcionários
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo, contendo portaria do reitor, cessando os efeitos da nomeação de alguns diretores
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo, contendo portaria do reitor, tornando sem efeito a nomeação de alguns diretores de institutos e designando novos diretores para outros.
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo, descrevendo os atos do reitor da Unicamp, designando Frederico Pimentel Gomes como diretor do IMECC.
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo, contendo portaria do reitor, demitindo 14 funcionários da Unicamp, dispensando oito diretores de Institutos de seus cargos e nomeando os substitutos.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Ato do reitor, exonerando oito diretores de institutos de seus cargos, dentre eles, AIA, diretora do IMECC. Ass.: Plínio Alves de Moraes, reitor da Unicamp.
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo, descrevendo os atos do reitor da Unicamp, designando AIA como diretora do IMECC.
Ayda Ignez Arruda
Les logiques nouvelles et le champ de leur application
Parte deAyda Ignez Arruda
ZAWIRSKI, Sigismond. Les logiques nouvelles et le champ de leur application. Revue de Métaphyisique et de Morale, vol.39, p.503-519, 1932.
Ayda Ignez Arruda
Logical matrices strongly adequate for structural setential calculi
Parte deAyda Ignez Arruda
WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin del?Académie Polonaise des sciences, v.18, n.6, p.333-335, 1969.
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte deAyda Ignez Arruda
SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte deAyda Ignez Arruda
SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Moskva, p.242-257, 1962.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.
Ayda Ignez Arruda
Alcune osservazione sulle algebre cilindriche speciali
Parte deAyda Ignez Arruda
SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.
Ayda Ignez Arruda
Problemi di decisione per algebre comesse a logiche a più valori
Parte deAyda Ignez Arruda
SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.
Ayda Ignez Arruda
Grundalagenprobleme Einer theorie der klinischen praxis
Parte deAyda Ignez Arruda
SADEGH-ZADEH, K. Grundalagenprobleme Einer theorie der klinischen praxis. Metamed, v.1, p.76-102, 1977.
Ayda Ignez Arruda
On sequential modifications of applied predicate calculi
Parte deAyda Ignez Arruda
ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.
Ayda Ignez Arruda
On the concept of formalization and partially ordered quantifiers
Parte deAyda Ignez Arruda
QVARNSTRÖM, Bengt-Olof. On the concept of formalization and partially ordered quantifiers. Linguistics and Philosophy, v.1, p.307-319, 1977.
Ayda Ignez Arruda
Introduction to a general theory of elementary porpositions
Parte deAyda Ignez Arruda
POST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.
Ayda Ignez Arruda
Lukasiewicz and the Origins of Many-Valued Logic
Parte deAyda Ignez Arruda
PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.
Ayda Ignez Arruda
Questioni di categoricita delle teorie matematiche
Parte deAyda Ignez Arruda
PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.
Ayda Ignez Arruda