Mostrar 715 resultados

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

Informe de apoio

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Reportagem

Comissão de negociações faz segredo. S.l.: s.n., 10 nov. [1981?]. Educação, p.14.

Ayda Ignez Arruda

Carta de solicitação

Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Ayda Ignez Arruda

Carta de informações

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

Ayda Ignez Arruda

Resumos

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 10-17 jul. 1976, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 66p.

Ayda Ignez Arruda

Resumos

SIMPÓSIO Latino-Americano de Lógica Matemática, 4, 17-22 dez. 1978, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 54p.

Ayda Ignez Arruda

Publicação

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

Publicação

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

Publicação

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

Resultados 51 a 60 de 715