- BR SPCLEARQ FAIA-PIm-EL-IT420
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Untitled
Showing 261 results
Archival description2 results with digital objects Show results with digital objects
- BR SPCLEARQ FAIA-PIm-EL-IT419
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.
Untitled
Relevance Logic and the Schema of Separation
- BR SPCLEARQ FAIA-PIm-EL-IT418
- Item
Part of 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.
Untitled
Observações sobre um sistema sem a regra do modus ponens
- BR SPCLEARQ FAIA-PIm-EL-IT417
- Item
Part of 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.
Untitled
Observações sobre os sistemas NFi
- BR SPCLEARQ FAIA-PIm-EL-IT416
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT415
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT414
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT413
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Untitled
Abstract da palestra Implicative Systems and Modus Ponens Rule
- BR SPCLEARQ FAIA-PIm-EL-IT412
- Item
- 1972-07
Part of 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.
Untitled
Capítulo II - Teoria de conjuntos An
- BR SPCLEARQ FAIA-PIm-EL-IT411
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.
Untitled
Capítulo I - Introdução aos Conceitos Fundamentais
- BR SPCLEARQ FAIA-PIm-EL-IT410
- Item
Part of 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.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT409
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
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
- BR SPCLEARQ FAIA-PIm-EL-IT407
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
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
Várias axiomáticas para o cálculo proposicional clássico
- BR SPCLEARQ FAIA-PIm-CP-IT405
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT404
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT403
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT402
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT401
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Untitled
Decidibilidade do cálculo implicativo clássico
- BR SPCLEARQ FAIA-PIm-CP-IT400
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.
Untitled
Decidibilidade do cálculo implicativo clássico
- BR SPCLEARQ FAIA-PIm-CP-IT399
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.
Untitled
Capítulo I: Cálculo Proposicional
- BR SPCLEARQ FAIA-PIm-CP-IT397
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Untitled
Capítulo II: Cálculo Proposicional
- BR SPCLEARQ FAIA-PIm-CP-IT398
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT396
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Untitled
Cálculo de predicados de ordem superior
- BR SPCLEARQ FAIA-PIm-CP-IT395
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Untitled
- 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
Carta de Luiz Paulo de Alcântara para AIA
- BR SPCLEARQ FAIA-C-Cp-IT307
- Item
- ? - 1982-09-27
Part of Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.
Untitled
Carta de Maria da Graça Rodrigues
- BR SPCLEARQ FAIA-C-Cp-IT312
- Item
Part of Ayda Ignez Arruda
Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.
Untitled
Carta de Luiz Paulo de Alcântara para AIA
- BR SPCLEARQ FAIA-C-Cp-IT307
- Item
- ? - 1982-09-27
Part of Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.
Untitled
Results 181 to 210 of 261