Mostrando 4473 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
Visualizar impressão Visualizar:

Carta de informações

Telex, em inglês, de AIA ao Prof. Carlos Di Prisco, acusando recebimento da sua passagem aérea e do Prof. Cignoli.

Ayda Ignez Arruda

Ofício

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde informando vencimento dos contratos de trabalho de docentes e solicitando providências. Campinas, 05 nov. 1981. Ass.: Ives Antonio Corazza. 2p. dat. cópia.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Ayda Ignez Arruda

Curriculum vitae

Curriculum vitae, em inglês, de Charles C. Pinter. S.l. S.d. S.ass. 3p. dat. cópia.

Ayda Ignez Arruda

Convocação

Convocação para reunião dos mebros da congregação do IMECC realizada no dia 03 de dezembro às 13 horas. Ass.: Gilberto Rodrigues de Queiroz, assistente técnico de direção.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Resultados 51 até 60 de 4473