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

Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem

BR SPCLEARQ FAIA-Impr-IT542
Item
1973.

JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

Untitled

Rascunho Sobre os cálculos de predicados de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT381
Item

Part of Ayda Ignez Arruda

Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.

Untitled

Rascunho de AIA

BR SPCLEARQ FAIA-AA-DD-IT129
Item

Part of Ayda Ignez Arruda

Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561

Untitled

Rascunho de AIA

BR SPCLEARQ FAIA-IU-IT156
Item

Part of Ayda Ignez Arruda

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

Untitled

Questioni di categoricita delle teorie matematiche

BR SPCLEARQ FAIA-Impr-IT551
Item
1976

Part of Ayda Ignez Arruda

PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.

Untitled

Proposta de Rolando Chuaqui

BR SPCLEARQ FAIA-AA-DSLALM-IT117
Item

Part of Ayda Ignez Arruda

Proposta de Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, contendo sugestões de organização do III Simpósio Latino-Americano de Lógica Matemática.

Untitled

Proposta de Regimento Interno do IMECC

BR SPCLEARQ FAIA-AAdm-M-IT144
Item

Part of Ayda Ignez Arruda

Proposta de Regimento Interno do IMECC, elaborada pela comissão eleita para tal fim, dispondo sobre o funcionamento do Instituto e sua administração.

Untitled

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

Part of Ayda Ignez Arruda

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

Untitled

Projeto Sistemas de Bibliotecas da Unicam

BR SPCLEARQ FAIA-PItm-IT452
Item
1983-08

Part of Ayda Ignez Arruda

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Untitled

Programa, lista de gastos e outras informações

BR SPCLEARQ FAIA-AA-DSLALM-IT120
Item

Part of Ayda Ignez Arruda

Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

Untitled

Programa, lista de gastos e outras informações

BR SPCLEARQ FAIA-AA-DSLALM-IT121
Item

Part of Ayda Ignez Arruda

Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

Untitled

Programa Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT564
Item
1976

Part of Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 11-17 jul. 1976, Campinas. Programa. Campinas: Unicamp, 8p.

Untitled

Processo n. 1928/81

BR SPCLEARQ FAIA-IU-AJ-IT175
Item
1981-11-04

Part of Ayda Ignez Arruda

Processo n. 1928/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando o professor Eduardo Oscar de Campos Chaves das funções de diretor da Faculdade de Educação.

Untitled

Processo n. 1817/81

BR SPCLEARQ FAIA-IU-AJ-IT174
Item
1981-12-16

Part of Ayda Ignez Arruda

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Untitled

Processo 1234/81

BR SPCLEARQ FAIA-AAdm-IT130
Item
1981-03-20

Part of Ayda Ignez Arruda

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Untitled

Proceedings of the Third Brazilian Conference on Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT518
Item
1980

Part of Ayda Ignez Arruda

BRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p

Untitled

Problemi di decisione per algebre comesse a logiche a più valori

BR SPCLEARQ FAIA-Impr-IT559
Item
1975

Part of Ayda Ignez Arruda

SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.

Untitled

Plano [de pesquisa]

BR SPCLEARQ FAIA-AA-DD-IT128
Item

Part of Ayda Ignez Arruda

Plano [de pesquisa] elaborado por AIA para Walter, intitulado Teorias dos Reticulados (Lógica Algébrica).

Untitled

Paraconsistent extensional propositional logics

BR SPCLEARQ FAIA-Impr-IT510
Item
1980-06 - 1980-09

Part of Ayda Ignez Arruda

BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

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

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

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 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 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 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 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 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 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 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

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

Narrow your results by:

Language

Creator

Name

Place

Subject

Level of description

Media type

Showing 599 results