Mostrar 1735 resultados

Descrição arquivística
Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - Unicamp
Opções de pesquisa avançada
Previsualizar a impressão Ver:

Lista de exercícios

Lista de exercícios de AIA, contendo algumas soluções.

Ayda Ignez Arruda

Minuta

Minuta da Comissão nomeada pela Congregação para elaborar um projeto de atribuições de futura Comissão Científica, sugerindo a formação de duas comissões com atribuições distintas.

Ayda Ignez Arruda

Proposta

Proposta de Regimento Interno do IMECC, elaborada pela comissão eleita para tal fim, dispondo sobre o funcionamento do Instituto e sua administração.

Ayda Ignez Arruda

Lista de professores

Lista de professores do IMECC que apoiam a interpelação judicial para tirar Frederico Pimentel do cargo de direção do instituto.

Ayda Ignez Arruda

Cartão-postal

Cartão de Natal, em inglês, de Vladimir A. Smirnov para AIA, desejando votos de boas festas. Moscou, S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Publicação

Artigo 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 Arruda

Publicação

Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

Ayda Ignez Arruda

Resumo

Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Ayda Ignez Arruda

Apontamentos

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Resultados 1691 a 1700 de 1735