Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
- BR SPCLEARQ FAIA-PIm-A-IT361-IT361
- Item
Parte deAyda Ignez Arruda
19 resultados com objetos digitais Mostrar os resultados com objetos digitais
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Documento de identidade de AIA. Ass.: Ayda Ignez Arruda.
O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.
Ayda Ignez Arruda
Parte deAyda 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
Carta de North Holland Pub.Co.
Parte deAyda Ignez Arruda
Carta de North Holland Pub. Co. para AIA comunicando o envio de crédito pela venda das publicações Non Classical Logics Model Theory & Computability e Proceedings of the IV Latin American Symposium on Mathematical Logic referente ao ano de 1982. Ass.: Einar Fredriksson
Aviso de pagamento de North Holland Pub. Co.
Parte deAyda Ignez Arruda
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]
Parte deAyda Ignez Arruda
Carta de A.W. Schimmelpenninck
Parte deAyda Ignez Arruda
Carta de A.W. Schimmelpenninck para AIA solicitando sugestões para uma nova publicação na área lógica. Ass.: A.W. Schimmelpenninck.
Parte deAyda Ignez Arruda
Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561
Ayda Ignez Arruda
Carta de North Holland Pub.Co.
Parte deAyda Ignez Arruda
Carta de North Holland Pub. Co. para AIA comunicando erros nos cálculos dos royalties do livro Proceedings of the IV Latin American Symposium on Mathematical Logic e informando o envio do valor correto. Ass.: Einar Fredriksson
Aviso de pagamento de North Holland Pub. Co.
Parte deAyda Ignez Arruda
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]
Aviso de pagamento de Marcel Dekker Inc.
Parte deAyda Ignez Arruda
Aviso de pagamento de Marcel Dekker Inc. para AIA comunicando crédito pela vendo da publicação Mathematical Logic.
Parte deAyda Ignez Arruda
Carta de Arjen Sevenster para AIA oferecendo cópias de livros e informando sobre condições de pagamentos. Ass.: Arjen Sevenster
Aviso de pagamento de North Holland Pub. Co.
Parte deAyda Ignez Arruda
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]
Parte deAyda Ignez Arruda
Carta de Vickie Kearn, editor de aquisições de Marcel Dekker Inc., para o professor Xavier Caicedo, com cópia para AIA, solicitando informações para a confecção de livro. Ass.: Vickie
Parte deAyda Ignez Arruda
Carta de Cora Lowie para AIA informando sobre as cópias de livros e pagamentos de honorários. Ass.: Cora Lowie.
Aviso de pagamento de North Holland Pub. Co.
Parte deAyda Ignez Arruda
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Programa, lista de gastos e outras informações
Parte deAyda Ignez Arruda
Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Plano [de pesquisa] elaborado por AIA para Walter, intitulado Teorias dos Reticulados (Lógica Algébrica).
Ayda Ignez Arruda
Relatório e prestação de contas
Parte deAyda Ignez Arruda
Relatório e prestação de contas do III Simpósio Latino-Americano de Lógica Matemática.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Ofício GR-581/75 de Zeferino Vaz, reitor da Unicamp, para Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, informando que aceita o convite para que o III Simpósio Latino-Americano de Lógica seja realizado na Unicamp e que a profesora AIA foi designada para coordenar todas as atividades relativas ao simpósio. Ass.: Zeferino Vaz
Ayda Ignez Arruda
Formulário de pedido de auxílio Fapesp
Parte deAyda Ignez Arruda
Formulário de pedido de auxílios Fapesp preenchido por AIA solicitando recursos para o III Simpósio Latino-Americano de Lógica Matemática.
Ayda Ignez Arruda