Print preview Close

Showing 11 results

Archival description
Carta de informações
BR SPCLEARQ AIA_AA_DCE_10 · Item · 1983-04
Part of 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

Untitled
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_2 · Item · 1982-04
Part of 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]

Untitled
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_3 · Item · 1982-04
Part of 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]

Untitled
Resenha
BR SPCLEARQ AIA_I_31 · Item · 1982-02
Part of 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.

Untitled
Resumo
BR SPCLEARQ AIA_I_32 · Item · 1982
Part of 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.

Untitled
Publicação
BR SPCLEARQ AIA_I_63 · Item · 1970-09
Part of Ayda Ignez Arruda

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

Untitled
Carta de informações
BR SPCLEARQ AIA_AA_DCE_7 · Item · 1983-04
Part of 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

Untitled
Publicação
BR SPCLEARQ AIA_I_78 · Item · 1965
Part of 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

Untitled
Aviso de pagamento
BR SPCLEARQ AIA_AA_DCE_8 · Item · 1983-04
Part of 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]

Untitled
Publicação
BR SPCLEARQ AIA_I_87 · Item · 1973
Part of 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.

Untitled