Showing 8603 results

Archival description
Print preview
Card view Table view
1796 results with digital objects Show results with digital objects
Une sémantique pour le calcul C1=
BR SPCLEARQ FAIA-PIm-A-IT368 · Item
Part of Ayda Ignez Arruda
Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia. 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
Os sistemas P e P*,
BR SPCLEARQ FAIA-PIm-A-IT370 · Item
Part of Ayda Ignez Arruda
Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms. Untitled
Considerações sobre os Sistemas Fomais NFn
BR SPCLEARQ FAIA-Impr-IT471 · Item · 1964
Part of Ayda Ignez Arruda
ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba. Untitled