Mostrando 269 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão
Visualização em ficha Visualização em tabela
7 resultados com objetos digitais Exibir resultados com objetos digitais
Studia Logica
BR SPCLEARQ AMACL-AP-APesq-PIT-IT015 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Publicação intitulada "Studia Logica", da Polish Academy of Sciences Institute of Philosophy and Sociology, com artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantical analysis of Arruda-Da Costa P systems and adjacent non-replacement relevant systems".
Separata
BR SPCLEARQ AMACL-AP-APesq-PITER-IT004 · Item · 1977-01-31
Parte de Andrea Maria Altino de Campos Loparic
Separata de artigo escrito por Ayda Ignez Arruda e Newton Carneiro Affonso da Costa intitulado "Logique Mathématique- Une semantique pour le calcul C1"".
Separata
BR SPCLEARQ AMACL-AP-APesq-PIT-IT025 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Elias Humberto Alves intitulado "The Semantics of the Systems Cn of Da Costa", publicado na Proceedings of the Third Brazilian Conference on Mathematical Logic.
Programa
BR SPCLEARQ AMACL-AP-APesq-EA-IT004 · Item · 1976-07-11 - 1976-07-17
Parte de Andrea Maria Altino de Campos Loparic
Programa do III Simpósio Latino-Americano de Lógica Matemática.
Programa
BR SPCLEARQ AMACL-AP-APesq-EA-IT007 · Item · 1981-12-01 - 1981-12-03
Parte de Andrea Maria Altino de Campos Loparic
Programa do V Encontro Brasileiro de Lógica, promovido pelo Centro de Lógica, Epistemologia e História da Ciência.
Fotografia
BR SPCLEARQ FNCAC-I-F-0027 · Item · s.d.
Parte de Newton Carneiro Affonso da Costa
Mesa de [abertura/palestrantes] com ?, Newton Carneiro Affonso da Costa, ?, Ubiratan D'Ambrósio, ?, Ayda Ignez Arruda e platéia
Fotografia
BR SPCLEARQ FNCAC-I-F-0029 · Item · s.d.
Parte de Newton Carneiro Affonso da Costa
Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa
Fotografia
BR SPCLEARQ FNCAC-I-F-0030 · Item · s.d.
Parte de Newton Carneiro Affonso da Costa
Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa
Estudo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT018 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Estudo de Andrea Loparic sem título sobre cálculos proposicionais com base nos estudos de Ayda Ignez Arruda e Newton Carneiro Affonso da Costa.
Estudo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT019 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Cópia de estudo de Andrea Loparic sem título sobre cálculos proposicionais com base nos estudos de Ayda Ignez Arruda e Newton Carneiro Affonso da Costa.
Carta de Leopoldo Nachbin
Carta de Leopoldo Nachbin
BR SPCLEARQ FNCAC-Cp-IT50 · Item · 1980-10-20
Parte de Newton Carneiro Affonso da Costa
Carta de Leopoldo Nachbin a NCAC agradecendo e parabenizando pela cópia de parte de carta de Roberto Wolf, e parabenizando a Ayda Ignez Arruda por assumir a direção do IMECC/Unicamp. S.l., 20 de out. de 1980. 1p.
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
BR SPCLEARQ FNCAC-Cp-IT15 · Item · 1970-01-01
Parte de Newton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
BR SPCLEARQ FNCAC-Cp-IT16 · Item · 1970-02-07
Parte de Newton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
BR SPCLEARQ FNCAC-Cp-IT17 · Item · 1970-01-27
Parte de Newton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms) Newton Carneiro Affonso da Costa
Atestado
BR SPCLEARQ AMACL-AP-APesq-EA-IT003 · Item · 1976-05-20
Parte de Andrea Maria Altino de Campos Loparic
Atestado de participação de Andrea Loparic no III Simpósio Latino Americano de Lógica Matemática.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT022 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantics for quantified relevant logics without replacement", publicado na Proceedings of the Third Brazilian Conference on Mathematical Logic.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT014 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Andrea Loparic intitulado "Semantical Investigation of Arruda-Da Costa P Systems and of Adjacent Relevant Systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT017 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantical analysis of Arruda-Da Costa P systems and adjacent non-replacement relevant systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT016 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Cópia do artigo escrito por Andrea Loparic e Richard Routley, publicado na "Studia Logica", intitulado "Semantical Analysis of Arruda-Da Costa P Systems and Adjacent Non-Replacement Relevant Systems".
Carta de Luiz Paulo de Alcântara para AIA
BR SPCLEARQ FAIA-C-Cp-IT307 · Item · ? - 1982-09-27
Parte de Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat. Ayda Ignez Arruda
Carta de Richard Routley para AIA
BR SPCLEARQ FAIA-C-Cp-IT325 · Item
Parte de Ayda Ignez Arruda
Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms. Ayda Ignez Arruda
Carta de Ryszard Wójcicki para AIA
BR SPCLEARQ FAIA-C-Cp-IT326 · Item · ? - 1982-02-18
Parte de Ayda Ignez Arruda
Carta, em inglês, de Ryszard Wójcicki para AIA, agradecendo resposta à correspondência anterior. S.l., 18 fev. 1982. Ass.: R. Wójcicki. 1p. dat. Ayda Ignez Arruda
Carta de Ryszard Wójcicki para AIA
BR SPCLEARQ FAIA-C-Cp-IT327 · Item · ? - 1982-11-23
Parte de Ayda Ignez Arruda
Carta, em inglês, de Ryszard Wojcick para AIA e outros, comunicando aprovação da lista de editores da Studia Logica. S.l., 23 nov. 1982. Ass.: Ryszard Wojcick. 1p. dat. Ayda Ignez Arruda
Cartão de Natal de Sava Petrov para AIA
BR SPCLEARQ FAIA-C-Cp-IT330 · Item · ? - 1983-01-03
Parte de Ayda Ignez Arruda
Cartão de Natal, em inglês, de Sava Petrov para AIA, desejando um feliz ano e agradecendo o envio das revistas Cadernos de História da Ciência e Manuscrito. S.l., 03 jan. 1983. Ass.: ( __ ). 1p. dat. Ayda Ignez Arruda
Carta de Steve Giambrone para AIA
BR SPCLEARQ FAIA-C-Cp-IT331 · Item · ? - 2001-08
Parte de Ayda Ignez Arruda
Carta, em inglês, de Steve Giambrone para AIA, solicitando bibliografia da versão do livro A Survey of Paraconsistent Logic. Austrália, 08 jan. - . Ass.: Steve Giambrone. 1p. dat. Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA
BR SPCLEARQ FAIA-C-Cp-IT307 · Item · ? - 1982-09-27
Parte de Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat. Ayda Ignez Arruda
Cálculo Proposicional
BR SPCLEARQ FAIA-PIm-CP-IT396 · Item
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms. Ayda Ignez Arruda
A teoria de primeira ordem v
BR SPCLEARQ FAIA-PIm-EL-IT407 · Item
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda