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

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.

Ayda Ignez Arruda

Aspects of the historical development of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT469
Item
1980-02

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

Ayda Ignez Arruda

Aspects of the Historical Development of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT464
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT455
Item

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

Ayda Ignez Arruda

Artigo sem título

BR SPCLEARQ FAIA-PIm-A-IT369
Item

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

Ayda Ignez Arruda

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

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

Ayda Ignez Arruda

Artigo

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

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

Newton Bernardes

Artigo

BR SPCLEARQ CHRR-TC-IT015
Item
1982-09

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

Hugo Régis dos Reis

artão de A. Bärwolff a JCVM

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

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

Sem título

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

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

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

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

Ayda Ignez Arruda

Apresentação do livro de NB

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

Parte de Newton Bernardes

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

Newton Bernardes

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

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

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

Joaquim da Costa Ribeiro

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

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

Parte de Joaquim da Costa Ribeiro

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

Joaquim da Costa Ribeiro

Apresentação de atividades

BR SPCLEARQ FAIA-AA-IT031
Item

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

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

José Carlos Valladão de Mattos

Apostila do Reitor Zeferino Vaz

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

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

José Carlos Valladão de Mattos

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Parte de Ayda Ignez Arruda

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

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

Alfred Tarski - Parte 1

Item

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