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

O ponto de vista lógico de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT457
Unidad documental simple

Tradução do artigo de V.A. Smirnov, intitulado O ponto de vista lógico de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat. cópia

Sin título

Las concepciones logicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT456
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução, em espanhol, do artigo de V.A. Smirnov, intitulado Las concepciones logicas de N.A. Vasil’év. S.l., S.d. S.ass. 11p. dat

Sin título

As concepções lógicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT455
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução do artigo de V.A. Smirnov, intitulado As concepções lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat

Sin título

Rehabilitating Meinong’s Theory of Objects

BR SPCLEARQ FAIA-PItm-IT454
Unidad documental simple
[1971-1973]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Richard e Valerie Routley, intitulado Rehabilitating Meinong’s Theory of Objects. S.l., [1971-1973]. S.ass. 27p. dat. cópia.

Sin título

Arruda-da Costa P Systems And Adjacent Non-Replacement Systems

BR SPCLEARQ FAIA-PItm-IT453
Unidad documental simple
[1976-1978]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.

Sin título

Projeto Sistemas de Bibliotecas da Unicam

BR SPCLEARQ FAIA-PItm-IT452
Unidad documental simple
1983-08

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

Sin título

Estudo de Andréa Loparic

BR SPCLEARQ FAIA-PItm-IT451
Unidad documental simple
1975-12-13

Parte deAyda Ignez Arruda

Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

Sin título

Une étude sémantique de quelques calculs propositionnels

BR SPCLEARQ FAIA-PItm-IT450
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Sin título

Tradução do artigo de Jean Leray

BR SPCLEARQ FAIA-PItm-IT449
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

Sin título

Generalization of some results of Elie Sanchez

BR SPCLEARQ FAIA-PItm-IT448
Unidad documental simple
[1982-1983]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Sin título

Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik

BR SPCLEARQ FAIA-PItm-IT447
Unidad documental simple
[1983]

Parte deAyda Ignez Arruda

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Sin título

Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos

BR SPCLEARQ FAIA-PItm-IT446
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em espanhol, de Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos. S.l., S.d. S.ass. 9p. dat. cópia.

Sin título

Teorias Recursivas, Creativas y Productivas

BR SPCLEARQ FAIA-PItm-IT445
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

Sin título

Gödel’s collected works (A.S.L. Project)

BR SPCLEARQ FAIA-PItm-IT444
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.

Sin título

Tradução do artigo de Jean Dieudonné

BR SPCLEARQ FAIA-PItm-IT443
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. ms.

Sin título

Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities

BR SPCLEARQ FAIA-PItm-IT442
Unidad documental simple
[1978-1980]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.

Sin título

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-PItm-IT441
Unidad documental simple
[1974-1976]

Parte deAyda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Sin título

Estudo de AIA sobre Vasil'ev e a lógica paraconsistente

BR SPCLEARQ FAIA-PIm-V-IT385
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.

Sin título

Estudo de AIA sobre a silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT384
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

Sin título

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Sin título

Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic

BR SPCLEARQ FAIA-PIm-V-IT382
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

Sin título

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

BR SPCLEARQ FAIA-PIm-V-IT381
Unidad documental simple

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

Sin título

Estudo de AIA Silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT380
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Sin título

Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana

BR SPCLEARQ FAIA-PIm-V-IT379
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

Sin título

Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"

BR SPCLEARQ FAIA-PIm-V-IT378
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

Sin título

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT377
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Sin título

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT376
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

Sin título

Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”

BR SPCLEARQ FAIA-PIm-V-IT375
Unidad documental simple

Parte deAyda Ignez Arruda

Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

Sin título

Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év