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

Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent

BR SPCLEARQ FAIA-Impr-IT470
Item

ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

Untitled

Aspects of the historical development of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT469
Item
1980-02

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Untitled

Aspects of the Historical Development of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. 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

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

Artigo sem título

BR SPCLEARQ FAIA-PIm-A-IT369
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Untitled

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

Part of Ayda Ignez Arruda

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Untitled

Artigo

BR SPCLEARQ FNB-PIm-DTD-IT149
Item
[1989]

Part of Newton Bernardes

149 – Artigo de NB intitulado O Dilema da Física Moderna: Um Dilema Humano Milenar. Instituto de Física da USP, [1989]. s.ass.

Untitled

Artigo

BR SPCLEARQ CHRR-TC-IT015
Item
1982-09

Part of Hugo Régis dos Reis

Artigo de Hugo Regis dos Reis, "A Topografia na Engenharia Civil", publicado na Revista do Clube de Engenharia, ano 98, n.431 - set/out de1984. Rio de Janeiro, set. 1984. 4p. (dat.)

Untitled

artão de A. Bärwolff a JCVM

BR SPCLEARQ CJCVM-C-Cp-C-IT143
Item
1984/09/17

Part of José Carlos Valladão de Mattos

Cartão de A. Bärwolff a JCVM acusando o recebimento da cópia do artigo “Spatially resolved observation of carrier ...” publicado no Appl. Phys. Lett. Vol. 44 (N° 5) 1984. Berlin, 17 de setembro de 1984. ass. A.Bärwolff. 1p. (impresso manuscrito)

José Carlos Valladão de Matos

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

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

Apresentação do livro de NB

BR SPCLEARQ FNB-PIm-DTHT-IT088
Item
1990/05

Part of Newton Bernardes

088 – Apresentação do livro de NB intitulado [Teorias Holotrópicas da Termodinâmica]. . s.ass.

Untitled

Apresentação de Joaquim da Costa Ribeiro a Getúlio Vargas

BR SPCLEARQ JCR-F-IT21
Item
1952-09-10

Part of Joaquim da Costa Ribeiro

Álvaro Alberto da Mota e Silva apresenta ao presidente Getúlio Vargas a exposição de motivos em que o Conselho Nacional de Pesquisas solicita a criação do Instituto Nacional da Amazônia

Untitled

Apresentação de Joaquim da Costa Ribeiro a Getúlio Vargas

BR SPCLEARQ JCR-F-IT20
Item
1952-09-10

Part of Joaquim da Costa Ribeiro

Álvaro Alberto da Mota e Silva, Getúlio Vargas, Joaquim da Costa Ribeiro, Gal.Rangel (CNPq)

Untitled

Apresentação de atividades

BR SPCLEARQ FAIA-AA-IT031
Item

Part of Ayda Ignez Arruda

Apresentação das atividades informando as atividades a serem desenvolvidas pela professora Cecylia Rauszer os benefícios às comunidades científicas do país.

Apostila n.°100/83

BR SPCLEARQ CJCVM-DP-IT05
Item
1983-04-06

Part of José Carlos Valladão de Mattos

Apostila n.°100/83 declarando afastamento de JCVM do DFA / IF / Unicamp para realizar contatos científicos junto ao Bell Laboratories, New Jersey, USA até 29 de maio de 1983.as. José Aristodemo Pinotti, Reitor da Unicamp e Zuhair Warwar, Coordenador da Administração Geral

Untitled

Apostila do Reitor Zeferino Vaz

BR SPCLEARQ CJCVM-DP-IT01
Item
1976-01-29

Part of José Carlos Valladão de Mattos

Apostila do Reitor Zeferino Vaz contratando JCVM como Professor Assistente Doutor, MS-3, em RDIDP, junto à Área de Ótica do DESCM/ IF/ Unicamp. Cam Aesitor Zeferino Vaz e Hugo Crespi respondendo pelo Coordenador da Administração Geral

Untitled

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361
Item

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

Untitled

Álgebras de conjuntos não-clássicas

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

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

Untitled

Alfred Tarski - Parte 1

Item

Part of Ayda Ignez Arruda

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Item
1974-03

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

Untitled