Mostrando 654 resultados

Descrição arquivística
Carta de solicitação
BR SPCLEARQ AIA-C-Cp-10 · Item · 1983-02-07
Parte de Ayda Ignez Arruda

Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.

Ayda Ignez Arruda
Resumos
BR SPCLEARQ AIA-I-100 · Item · 1976-07-10
Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 10-17 jul. 1976, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 66p.

Ayda Ignez Arruda
Resumos
BR SPCLEARQ AIA-I-101 · Item · 1978-12-17
Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 4, 17-22 dez. 1978, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 54p.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-102 · Item · 1962
Parte de Ayda Ignez Arruda

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Moskva, p.242-257, 1962.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-103 · Item · 1965
Parte de Ayda Ignez Arruda

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-104 · Item · 1969
Parte de Ayda Ignez Arruda

WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin del’Académie Polonaise des sciences, v.18, n.6, p.333-335, 1969.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-105 · Item · 1932
Parte de Ayda Ignez Arruda

ZAWIRSKI, Sigismond. Les logiques nouvelles et le champ de leur application. Revue de Métaphyisique et de Morale, vol.39, p.503-519, 1932.

Ayda Ignez Arruda
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-11 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda
Carta de solicitação
BR SPCLEARQ AIA-AA-DCE-11 · Item · 1983-04
Parte de Ayda Ignez Arruda

Carta de A.W. Schimmelpenninck para AIA solicitando sugestões para uma nova publicação na área lógica. Ass.: A.W. Schimmelpenninck.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-C-Cp-11 · Item · 1982-03-05
Parte de Ayda Ignez Arruda

Carta, em inglês, de Caba para AIA, comunicando seu conhecimento das dificuldades nas funções administrativas e informando a respeito de trabalhos científicos. S.l., 05 mar. 1982. Ass.: Caba. 1p. dat.

Ayda Ignez Arruda