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

BR SPCLEARQ FAIA-PItm-IT465
Item

Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.

Untitled

As idéias lógicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT464
Item

Part of Ayda Ignez Arruda

Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.

Untitled

Notas de aula de Ryszard Wojcicki

BR SPCLEARQ FAIA-PItm-IT463
Item
1981

Part of Ayda Ignez Arruda

Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.

Untitled

Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído

BR SPCLEARQ FAIA-PItm-IT462
Item

Part of Ayda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, intitulado Sobre os Juízos Particulares; O Triângulo das Oposições e a Lei do Quarto Excluído. S.l., S.d. S.ass. 45p. dat.

Untitled

Lógica Imaginária (Não-Aristotélica)

BR SPCLEARQ FAIA-PItm-IT461
Item

Part of Ayda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica Imaginária (Não-Aristotélica). S.l., S.d. S.ass. 54p. dat.

Untitled

Lógica e Metalógica

BR SPCLEARQ FAIA-PItm-IT460
Item

Part of Ayda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica e Metalógica. S.l., S.d. S.ass. 41p. dat.

Untitled

Matemática "moderna": Um erro educacional e filosófico?

BR SPCLEARQ FAIA-PItm-IT459
Item

Part of Ayda Ignez Arruda

Tradução, do artigo de René Thom, [feita por AIA], intitulado Matemática "moderna": Um erro educacional e filosófico?. S.l., S.d. S.ass. 18p. ms.

Untitled

Relatório de Joseph Donald Sneed

BR SPCLEARQ FAIA-PItm-IT458
Item

Part of Ayda Ignez Arruda

Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT457
Item

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-PItm-IT456
Item

Part of Ayda 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

Untitled

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

BR SPCLEARQ FAIA-PItm-IT455
Item

Part of Ayda 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

Untitled

Rehabilitating Meinong’s Theory of Objects

BR SPCLEARQ FAIA-PItm-IT454
Item
[1971-1973]

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT453
Item
[1976-1978]

Part of Ayda 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.

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

Estudo de Andréa Loparic

BR SPCLEARQ FAIA-PItm-IT451
Item
1975-12-13

Part of Ayda 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.

Untitled

Une étude sémantique de quelques calculs propositionnels

BR SPCLEARQ FAIA-PItm-IT450
Item

Part of Ayda 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.

Untitled

Tradução do artigo de Jean Leray

BR SPCLEARQ FAIA-PItm-IT449
Item

Part of Ayda 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.

Untitled

Generalization of some results of Elie Sanchez

BR SPCLEARQ FAIA-PItm-IT448
Item
[1982-1983]

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT446
Item

Part of Ayda 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.

Untitled

Teorias Recursivas, Creativas y Productivas

BR SPCLEARQ FAIA-PItm-IT445
Item

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT444
Item

Part of Ayda 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.

Untitled

Tradução do artigo de Jean Dieudonné

BR SPCLEARQ FAIA-PItm-IT443
Item

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT442
Item
[1978-1980]

Part of Ayda 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.

Untitled

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-PItm-IT441
Item
[1974-1976]

Part of Ayda 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.

Untitled

Produção Intelectual de Terceiros Manuscrita

BR SPCLEARQ FAIA-PItm
Series

Part of Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PIm-V-IT385
Item

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-V-IT384
Item

Part of Ayda Ignez Arruda

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

Untitled

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Item

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-V-IT382
Item

Part of Ayda 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.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 744 results