Mostrando 554 resultados

Descrição arquivística
Texto Português do Brasil
Visualizar impressão Visualizar:

554 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Francisco Antônio Dória

Carta de Francisco Antônio Dória a NCAC dizendo ter enviado a biografia de Göedel por Feferman, propondo acompanhá-lo pelas livrarias do Rio de Janeiro e afirmando que o Brasil não é um país sério. S.l., 26 de out. de 1987. 1p.

Carta de Francisco Antônio Dória

Carta de Francisco Antônio Dória a NCAC comunicando o recebimento dos trabalhos de Rolando Chuaqui e Steven French e envia o resumo de exemplos não- triviais de modelos em que as teorias físicas apresentam resultados inesperados. S.l., 23 de dez. de 1987. 2p.

Carta de Francisco Antônio Dória

Carta de Francisco Antônio Dória a NCAC informando estar em casa resolvendo problemas, que havia erros na função de modelos booleanos e também explicando esses modelos. S.l., 7 de jul. de 1988. 1p.

Carta de Francisco Antônio Dória

Carta de Francisco Antônio Dória a NCAC dando opinião sobre a lógica dos modelos, formulação da lógica algébrica para mecânica quântica e o décimo problema de Hilbert. S.l., 19 de dez. de 1988. 2p.

Carta de Francisco Antônio Dória

Carta de Francisco Antônio Dória a NCAC informando o recebimento de sua correspondência, comentando o teorema de Ornstein e sugerindo que ele tenha uma conta de e-mail. Palo Alto, 27 de dez. de 1989. 1p.

Carta de Francisco Miró Quesada

Carta de Francisco Miró Quesada a NCAC informando que estar vivendo uma aventura política, comentando sobre seus trabalhos em lógica e avisando de sua visita à Campinas. Lima, 29 de jun. de 1976. 2p.

Carta de Gilles Gaston-Granger

Carta de Gilles Gaston-Granger a NCAC perguntando o seu endereço de e-mail, falando sobre a não publicação do seu livro no Brasil e sobre seu estado de saúde. Paris, 7 de dez. de 1997. 1p. (ms)

Sobre A Teoria dos Tipos

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Ayda Ignez Arruda

Cartão de Gilles Gaston-Granger

Cartão de Gilles Gaston-Granger a NCAC agradecendo as separatas recebidas e informando que no seu próximo livro haverá um capítulo sobre as lógicas paraconsistentes. [S.l., 19--]. 1p. (ms)

Carta de Jerzey Kotas

Carta de Jerzey Kotas a NCAC comentando sobre sua viagem ao Brasil e do trabalho que eles apresentarão em Campinas. Torun, 2 de maio de 1976. 2p. (ms)

Carta de Jerzy Perzaniwsky

Carta de Jerzy Perzaniwsky a NCAC discutindo sobre seus trabalhos "Odontological Investigation" e "Lógica Modal". João Pessoa, Paraíba, 5 de mar. 1991. 2p. (ms)

Carta de John Corcoran

Carta de John Corcoran a NCAC agradecendo a atenção recebida, descreve o currículo de Hewing e pedindo a NCAC que o chame pelo seu primeiro nome. S.l., 18 de jan. de 1975. 2p. (ms)
Exibindo 391-420 de 554 resultados