Mostrando 13 resultados

Descrição arquivística
Holanda
Visualizar impressão
Visualização em ficha Visualização em tabela
Carta de North Holland Pub.Co.
BR SPCLEARQ FAIA-AA-DCE-IT092 · Item
Parte de Ayda Ignez Arruda
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
Carta de North Holland Pub.Co.
BR SPCLEARQ FAIA-AA-DCE-IT095 · Item
Parte de Ayda Ignez Arruda
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
Carta de J.C. Kuipers para AIA
BR SPCLEARQ FAIA-C-Cp-IT284 · Item · 1982-07-23
Parte de Ayda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat. Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
BR SPCLEARQ FAIA-C-Cp-IT285 · Item · 1983-11-16
Parte de Ayda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, indagando seu interesse em publicar o livro ?A Survey of Paraconsistent Logic? e solicitando que ela escreva diretamente ao professor Hintikka. Dordrecht, 16 nov. 1983. Ass.: J.C. Kuipers. 1p. dat. Ayda Ignez Arruda
Lukasiewicz and the Origins of Many-Valued Logic
BR SPCLEARQ FAIA-Impr-IT552 · Item · 1973
Parte de Ayda 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. Ayda Ignez Arruda
Aviso de pagamento de North Holland Pub. Co.
BR SPCLEARQ FAIA-AA-DCE-IT087 · Item
Parte de Ayda Ignez Arruda
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.
BR SPCLEARQ FAIA-AA-DCE-IT088 · Item
Parte de Ayda Ignez Arruda
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.
BR SPCLEARQ FAIA-AA-DCE-IT093 · Item
Parte de Ayda Ignez Arruda
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.
BR SPCLEARQ FAIA-AA-DCE-IT094 · Item
Parte de Ayda Ignez Arruda
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 J.C. Kuipers para AIA
BR SPCLEARQ FAIA-C-Cp-IT283 · Item · 1982-04-23
Parte de Ayda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat. Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
BR SPCLEARQ FAIA-C-Cp-IT286 · Item · 1983-11-22
Parte de Ayda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat. Ayda Ignez Arruda
Vasil’év and the development of Many-valued logic
BR SPCLEARQ FAIA-Impr-IT543 · Item · 1965
Parte de Ayda 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 Ayda Ignez Arruda