Visualizar impressão Fechar

Mostrando 11 resultados

Descrição arquivística
Carta de informações
BR SPCLEARQ AIA_AA_DCE_10 · Item · 1983-04
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

Ayda Ignez Arruda
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_2 · Item · 1982-04
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]

Ayda Ignez Arruda
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_3 · Item · 1982-04
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]

Ayda Ignez Arruda
Resenha
BR SPCLEARQ AIA_I_31 · Item · 1982-02
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA_I_32 · Item · 1982
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_63 · Item · 1970-09
Parte de Ayda Ignez Arruda

DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA_AA_DCE_7 · Item · 1983-04
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

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_78 · 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
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_8 · Item · 1983-04
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]

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_87 · 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