Affichage de 11 résultats

Description archivistique
Carta de informações
BR SPCLEARQ AIA_AA_DCE_10 · Pièce · 1983-04
Fait partie 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

Sans titre
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_2 · Pièce · 1982-04
Fait partie 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]

Sans titre
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_3 · Pièce · 1982-04
Fait partie 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]

Sans titre
Resenha
BR SPCLEARQ AIA_I_31 · Pièce · 1982-02
Fait partie 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.

Sans titre
Resumo
BR SPCLEARQ AIA_I_32 · Pièce · 1982
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_63 · Pièce · 1970-09
Fait partie de Ayda Ignez Arruda

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

Sans titre
Carta de informações
BR SPCLEARQ AIA_AA_DCE_7 · Pièce · 1983-04
Fait partie 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

Sans titre
Publicação
BR SPCLEARQ AIA_I_78 · Pièce · 1965
Fait partie 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

Sans titre
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_8 · Pièce · 1983-04
Fait partie 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]

Sans titre
Publicação
BR SPCLEARQ AIA_I_87 · Pièce · 1973
Fait partie 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.

Sans titre