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

Carta de JCVM à ASSUC solicitando que esta entidade procure comprovar e avaliar os fatos apontados em sua denúncia. as. José Carlos Valladão de Mattos.

José Carlos Valladão de Mattos

Regresso de Genebra

BR SPCLEARQ JCR-F-IT42
Item
1955-08-21

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro desembarcando.

Joaquim da Costa Ribeiro

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT42
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT42
Item
25-30 set. 1998

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Osvaldo Giacoia Jr.

Associação Nacional de Pós-graduação em Filosofia

Semântica para D1

BR SPCLEARQ FAIA-PIm-EL-IT419
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Relevance Logic and the Schema of Separation

BR SPCLEARQ FAIA-PIm-EL-IT418
Item

Parte de Ayda Ignez Arruda

Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Observações sobre um sistema sem a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT417
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.

Ayda Ignez Arruda

Observações sobre os sistemas NFi

BR SPCLEARQ FAIA-PIm-EL-IT416
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

O sistema A de Ackermann

BR SPCLEARQ FAIA-PIm-EL-IT415
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Parte de Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Ayda Ignez Arruda

Capítulo II - Teoria de conjuntos An

BR SPCLEARQ FAIA-PIm-EL-IT411
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Ayda Ignez Arruda

Capítulo I - Introdução aos Conceitos Fundamentais

BR SPCLEARQ FAIA-PIm-EL-IT410
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.

Ayda Ignez Arruda

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT41
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Gênero

Nível de descrição

Tipo de mídia

Mostrando 1729 resultados