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

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

BR SPCLEARQ FAIA-PIm-V-IT385
Item

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

O Intelecto Humano

BR SPCLEARQ FAIA-PItm-IT465
Item

Part of Ayda Ignez Arruda

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

Narrow your results by:

Language

Creator

Name

Place

Subject

Level of description

Media type

Showing 596 results