Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

Ofício n. 117/76-M de Martha Maria Mischan

BR SPCLEARQ FAIA-C-Ct-IT348
Item
? - 1976-11-29

Ofício n. 117/76-M de Martha Maria Mischan para Herman Rohrer, agradecendo a colaboração do IMECC na elaboração do plano de estudos. Botucatu, 29 nov. 1976. Ass.: Martha Mischan. 1p. dat. cópia.

Untitled

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna

BR SPCLEARQ FAIA-C-Ct-IT336
Item
? - 1981-11-05

Part of Ayda Ignez Arruda

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna a Plínio Alves de Moraes, Reitor da Unicamp, estranhando e lamentando o afastamento de AIA da direção do IMECC. S.l., 05 nov. 1981. Ass.: Aníbal Parracho Sant?Anna. 1p. dat. cópia.

Untitled

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna

BR SPCLEARQ FAIA-C-Ct-IT336
Item
? - 1981-11-05

Part of Ayda Ignez Arruda

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna a Plínio Alves de Moraes, Reitor da Unicamp, estranhando e lamentando o afastamento de AIA da direção do IMECC. S.l., 05 nov. 1981. Ass.: Aníbal Parracho Sant?Anna. 1p. dat. cópia.

Untitled

Ofício SG/2 – n° 118/83

BR SPCLEARQ FAIA-AA-IT026
Item

Part of Ayda Ignez Arruda

Ofício SG/2 118/83 de José Aristodemo Pinotti informando da indicação de AIA para a banca julgadora do Concurso de Livre Docência de alguns professores. Ass.: Ferdinando de Oliveira Figueiredo

Ofício Sub/CPG/DF – n° 13/83

BR SPCLEARQ FAIA-AA-IT027
Item

Part of Ayda Ignez Arruda

Ofício Sub/CPG/DF 13/83 de Carlos Ribeiro Moura comunicando que os professores indicados por AIA para a banca julgadora do mestrado de Regina Aparecida Munhoz Fonte não poderão participar. Ass.: Carlos R. Moura

On Griss propositional calculus

BR SPCLEARQ FAIA-Impr-IT475
Item
1971-09

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Untitled

On sequential modifications of applied predicate calculi

BR SPCLEARQ FAIA-Impr-IT557
Item
1969

Part of Ayda Ignez Arruda

ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.

Untitled

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-Impr-IT529
Item
1975

Part of Ayda Ignez Arruda

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Untitled

On the concept of formalization and partially ordered quantifiers

BR SPCLEARQ FAIA-Impr-IT556
Item
1977

Part of Ayda Ignez Arruda

QVARNSTRÖM, Bengt-Olof. On the concept of formalization and partially ordered quantifiers. Linguistics and Philosophy, v.1, p.307-319, 1977.

Untitled

On the Imaginary Logic of N.A. Vasil'év

BR SPCLEARQ FAIA-Impr-IT477
Item
1978-06

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Untitled

On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability

BR SPCLEARQ FAIA-Impr-IT476
Item
1977

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

Untitled

On the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT478
Item
1968

Part of Ayda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Untitled

On the principle of contradiction in Aristotle

BR SPCLEARQ FAIA-Impr-IT547
Item
1971-03

Part of Ayda Ignez Arruda

LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

Untitled

On the relevant systems P and P* and some related systems

BR SPCLEARQ FAIA-Impr-IT501
Item
1980-05

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

Untitled

Os sistemas P e P*,

BR SPCLEARQ FAIA-PIm-A-IT370
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Untitled

Página de rosto, prefácio, prólogo e sumário de trabalho Holotropic Theory of Thermodynamics

BR SPCLEARQ FNB-PIm-DTHT-IT096
Item
1995

Part of Newton Bernardes

096 – Página de rosto, prefácio, prólogo e sumário do trabalho, em inglês, de NB intitulado Holotropic Theory of Thermodynamics, edição preliminar. [São Paulo; Campinas], 1995. s.ass..

Untitled

Palestra de Hugo Regis dos Reis

BR SPCLEARQ CHRR-TC-IT001
Item
1948-05

Part of Hugo Régis dos Reis

Palestra de Hugo Regis dos Reis defendendo o Petróleo Brasileiro e o Projeto de Lei: Sobre a questão do Petróleo. [Rio de Janeiro], maio de 1948. 15p. (ms.)

Untitled

Palestras

BR SPCLEARQ FNB-PIm-DTD-IT152
Item
1993/11/16

Part of Newton Bernardes

152 – Palestra de NB proferida em homenagem a Mário Schenberg intitulada O Belo O Ferro. Auditório da Secretaria de Estado da Cultura de São Paulo, s.ass.

Untitled

Palestras

BR SPCLEARQ FNB-PIm-DTD-IT151
Item
1990/11/29

Part of Newton Bernardes

151 – Palestra de NB proferida durante o Simpósio em homenagem a Mário Schenberg intitulada Mário Schenberg: de Getúlio a Costa e Silva. Instituto de Física da USP. s.ass.

Untitled

Papel de bala

BR SPCLEARQ FMTT-FB-IT28
Item

Part of Mario Tourasse Teixeira

Papel de bala Sönksen

Untitled

Paper

BR SPCLEARQ CHRR-TC-IT010
Item
1963-09

Part of Hugo Régis dos Reis

Trabalho de Hugo Regis dos Reis, "A formação de professores de matemática e de ciências", apresentado no Congresso de Engenharia e Industria. Rio de Janeiro, set. 1963. 2p. (dat.)

Untitled

Paper

BR SPCLEARQ CHRR-TC-IT011
Item
1963-09

Part of Hugo Régis dos Reis

Trabalho de Hugo Regis dos Reis, "Por uma escala de prioridades para a pesquisa tecnológica no Brasil", apresentado no Congresso de Engenharia e Industria. Rio de Janeiro, set. 1963. 8p. (mimeo.)

Untitled

Paper

BR SPCLEARQ CHRR-TC-IT012
Item
1972-09

Part of Hugo Régis dos Reis

Trabalho de Hugo Regis dos Reis, "Planejamento Rodoviário. Redes Rodoviárias Regionais, Municipais e Vicinais", abordando alguns aspectos do comportamento dos automóveis nas estradas segundo o traçado das vias.[S.l.], set. 1972. 22p. (dat.)

Untitled

Paraconsistent extensional propositional logics