Showing 126 results

Archival description
Europa Brazilian Portuguese
Print preview View:

15 results with digital objects Show results with digital objects

Carta de Otávio Bueno

Carta de Otávio Bueno a NCAC agradecendo a correspondência recebida, comentando sobre as manias e observações de Kreisel e indagando sobre questões de lógica. Leeds, 6 de nov. de 1997. 1p.

Carta de Otávio Bueno

Carta de Otávio Bueno a NCAC comentando sobre o seu artigo com o professor Dória sobre a lógica Jaskowski (publicado em Studia Lógica 54, 1995) e informando sobre a nova versão de seu trabalho sobre lógica dos Azante. Leeds, 20 de dez de 1996. 1p.

Carta de Otávio Bueno

Carta de Otávio Bueno a NCAC perguntando sobre seu recente artigo, discutindo sobre lógica paraconsistente e agradecendo pelo envio da ultima carta de Rouilhan. Leeds, 20 de out. de 1996. 1p.

Carta de Otávio Bueno

Carta de Otávio Bueno a NCAC agradecendo a correspondência recebida e abordando sobre lógica e discussões acadêmicas. Leeds, 22 de jan. de 1996. 2p.

Carta de Manfred Pilkuhn a JCVM

Carta de Manfred Pilkuhn a JCVM relatando que virá a Campinas para o “Semicondutor Laser Conference” e oferecendo sua colaboração e hospitalidade a Mr. Ulisses Leitão, candidato a PhDass. Manfred Pilkuhn

Untitled

Carta de Nicola Grana

Carta de Nicola Grana a NCAC enviando o trabalho "On paraconsistent topologic logic" e tecendo comentários sobre o mesmo. Napoli, 5 de jul. 1986. 2p. (acompanha trabalho de 17 páginas)

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM manifestando sua alegria por JCVM ter escolhido o seu laboratório ao invés do Bell Labs e indagando sobre as possibilidades de desenvolver pesquisas científicas no Brasil. Ass. ErnestGöbel

Untitled

Carta de Ernest Göbel a JCVM

Carta e Ernest Göbel a JCVM manifestando contentamento em saber que o CNPq concordou com sua visita ao Brasil, comunicando seus planos de trabalhos e comentando sobre a sua vida pessoal e profissional. Ass. Ernest Göbel

Untitled

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM comentando sobre problemas financeiros para adquirir passagens aéreas para a sua vinda ao Brasil e pedindo sugestões para solucioná-los. Ass. Ernest

Untitled

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM informando que virá ao Brasil, relatando que Albrecht Mozer estará na Laser Conference e solicitando informação sobre como chegar até Campinas. Ass. Ernest Göbel.

Untitled

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM informando sobre as dificuldades de publicação de um trabalho e relatando sobre problemas profissionais a serem solucionados. ass. Ernest Göbel

Untitled

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM encaminhando curriculum vitae e lista de publicações para fins de obtenção de financiamento através do convênio CNPq-MPG para uma estadia no Brasil e informando sobre os seus trabalhos. Ass. Ernest Göbel

Untitled

Carta de Ernest Göbel a JCVM

Carta de Ernest Göbel a JCVM informando sobre as recentes pesquisas em laser semicondutores e comentando sobre os laboratórios onde estão fazendo as pesquisas e o convidando JCVM para uma temporada de estudos no Instituto Max-Planck. ass. Ernest

Untitled

Carta de Michel Paty

Carta de Michel Paty a NCAC agradecendo o envio do livro sobre os fundamentos da lógica, comentando sobre o mesmo e pedindo desculpas por não ter agradecido antes. [Paris], 7 de jan. de 1983. 1p. (ms)

Carta de Ernest Göbel a JCVM

Carta, em inglês, de Ernest Göbel a JCVM, desculpando-se por não responder a carta anterior, indagando sobre os trabalhos em desenvolvimento, sobre a política e a economia brasileira, relatando sua situação profissional e enviando currículo.ass. Ernset.

Untitled

Lukasiewicz and the Origins of Many-Valued Logic

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Untitled

Une sémantique pour le calcul C1

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Untitled

Results 1 to 30 of 126