Mostrando 114 resultados

Descripción archivística
Europa Unidad documental simple
Imprimir vista previa Ver :
Descendente

13 resultados con objetos digitales Muestra los resultados con objetos digitales

Avicena (908-1037) mil anos depois

Avicena (908-1037) mil anos depois. Separata de Revista Portuguesa de Filosofia, Faculdade de Filosofia, Braga, 36, n.2, p.121-30, abr./jun.1980.

Carta de North Holland Pub.Co.

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

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando erros nos cálculos dos royalties do livro Proceedings of the IV Latin American Symposium on Mathematical Logic e informando o envio do valor correto. Ass.: Einar Fredriksson

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]

Carta do Professor Dr. Meurers

  • BR SPCLEARQ FAIA-AA-DCS-IT105
  • Unidad documental simple
  • 1984-05-24

    • Parte deAyda Ignez Arruda

Carta do Professor Doutor Meurers, solicitando correção e o envio de comunicação a ser apresentada no Congresso de Salzburgo. Ass.: Meurers

Sin título

Circular de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT100
  • Unidad documental simple
  • 1983-02-17

    • Parte deAyda Ignez Arruda

Circular de Paul Weingartner, presidente do comitê organizador local, solicitando o envio de resumo de trabalho a ser apresentado em Salzburgo. Ass.: P. Weingartner

Sin título

Carta de Ayda Ignez Arruda

Carta de Ayda Ignez Arruda

Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms)

Sin título

Carta de Michel Paty

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 Jerzey Kotas

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 Ayda Ignez Arruda

Carta de Ayda Ignez Arruda

Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)
Carta de Ayda Ignez Arruda

Carta de Ayda Ignez Arruda

Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)
2 Reunião do Comitê Consultivo das Nações Unidas

2 Reunião do Comitê Consultivo das Nações Unidas

Joaquim da Costa Ribeiro e outros na Comissão que discutia as aplicações pacíficas da Energia Atômica [2ème Reunion du Comité Consultativ de l'ONU pour la Conférence des Applications Pacifiques de l'Energie Nucléaire. Paris - Mai - 1955]

Sin título

Lukasiewicz and the Origins of Many-Valued Logic

  • BR SPCLEARQ FAIA-Impr-IT552
  • Unidad documental simple
  • 1973

    • Parte deAyda Ignez Arruda

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.

Sin título

Vasil’év and the development of Many-valued logic

  • BR SPCLEARQ FAIA-Impr-IT543
  • Unidad documental simple
  • 1965

    • Parte deAyda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Sin título

Une sémantique pour le calcul C1

  • BR SPCLEARQ FAIA-Impr-IT526
  • Unidad documental simple
  • 1976-06

    • Parte deAyda Ignez Arruda

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.

Sin título

Remarques sur le système NF1

  • BR SPCLEARQ FAIA-Impr-IT525
  • Unidad documental simple
  • 1971-05

    • Parte deAyda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Sin título

Resultados 1 a 30 de 114