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

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)

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

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)

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 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 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 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 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 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 confirmando o recebimento dos dois textos, de seu fascínio sobre a lógica deôntica e das estruturas paraconsistentes e comentando sobre seus trabalhos. Rio de Janeiro, 22 de mar. de 1987. 1p.

Carta de Francisco Antônio Dória

Carta de Francisco Antônio Dória a NCAC informando o recebimento da correspondência, comentando sobre os preparativos para o carnaval e de seu trabalho acadêmico. S.l., 26 de fev. de 1987. 2p.

Carta de Diderik Batens

Carta de Diderik Batens a NCAC agradecendo a correspondência recebida, informando do artigo aceito para a publicação em Logique et Analise e informando sobre sua esposa adoentada. S.l., 19 de ago. de 1985. 1p.
Exibindo 121-150 de 554 resultados