Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

Sur la Théorie des Sytèmes Formels Inconsistants

BR SPCLEARQ FAIA-PIm-A-IT367
Item

Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

Ayda Ignez Arruda

Sobre A Teoria dos Tipos

BR SPCLEARQ FAIA-PIm-A-IT366
Item

Parte de Ayda Ignez Arruda

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Ayda Ignez Arruda

Silogismos Não-Aristotélicos

BR SPCLEARQ FAIA-PIm-A-IT365
Item

Parte de Ayda Ignez Arruda

Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

Ayda Ignez Arruda

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-PIm-A-IT364
Item

Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Ayda Ignez Arruda

Resumo de AIA intitulado On Griss' Propositional Calculus

BR SPCLEARQ FAIA-PIm-A-IT363
Item

Parte de Ayda Ignez Arruda

Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Observações sobre o conjunto de Russell

BR SPCLEARQ FAIA-PIm-A-IT362
Item

Parte de Ayda Ignez Arruda

Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

Ayda Ignez Arruda

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361
Item

Parte de Ayda Ignez Arruda

Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

Ayda Ignez Arruda

Álgebras de conjuntos não-clássicas

BR SPCLEARQ FAIA-PIm-A-IT360
Item
? - 1966-10-17

Parte de Ayda Ignez Arruda

Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia.

Ayda Ignez Arruda

Les logiques nouvelles et le champ de leur application

BR SPCLEARQ FAIA-Impr-IT570
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

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
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

Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii

BR SPCLEARQ FAIA-Impr-IT568
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

Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii

BR SPCLEARQ FAIA-Impr-IT567
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

Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT566
Item
1978

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

Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT565
Item
1976

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

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

BR SPCLEARQ FAIA-Impr-IT564
Item
1976

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Resumos de trabalhos

BR SPCLEARQ FAIA-Impr-IT563
Item
1975

Parte de Ayda Ignez Arruda

SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.

Ayda Ignez Arruda

Escola matemática polonesa

BR SPCLEARQ FAIA-Impr-IT562
Item
1964-02

Parte de Ayda Ignez Arruda

SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.

Ayda Ignez Arruda

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Item
1974-03

Parte de Ayda Ignez Arruda

SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.

Ayda Ignez Arruda

Educação, Pesquisa e Administração Universitária

BR SPCLEARQ FAIA-Impr-IT560
Item
1981

Parte de Ayda Ignez Arruda

SCHNEIDER, José Benedito. Educação, Pesquisa e Administração Universitária. ADUNICAMP: Campinas, 1981, 1p.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT559
Item
1975

Parte de 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.

Ayda Ignez Arruda

Grundalagenprobleme Einer theorie der klinischen praxis

BR SPCLEARQ FAIA-Impr-IT558
Item
1977

Parte de Ayda Ignez Arruda

SADEGH-ZADEH, K. Grundalagenprobleme Einer theorie der klinischen praxis. Metamed, v.1, p.76-102, 1977.

Ayda Ignez Arruda

On sequential modifications of applied predicate calculi

BR SPCLEARQ FAIA-Impr-IT557
Item
1969

Parte de 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.

Ayda Ignez Arruda

On the concept of formalization and partially ordered quantifiers

BR SPCLEARQ FAIA-Impr-IT556
Item
1977

Parte de 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.

Ayda Ignez Arruda

Campinas, bicentenário é turismo

BR SPCLEARQ FAIA-Impr-IT555
Item
1974

Parte de Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Ayda Ignez Arruda

Vibre com o roteiro turístico da vida, trabalho e do amor

BR SPCLEARQ FAIA-Impr-IT554
Item
1974

Parte de Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas. Vibre com o roteiro turístico da vida, trabalho e do amor. Departamento de Turismo: Campinas, 1974. 12p.

Ayda Ignez Arruda

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Item
1921

Parte de Ayda Ignez Arruda

POST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-Impr-IT552
Item
1973

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

Ayda Ignez Arruda

Questioni di categoricita delle teorie matematiche