Print preview Close

Showing 269 results

Archival description
Ayda Ignez Arruda
Print preview View:
Descending

7 results with digital objects Show results with digital objects

Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Some remarks on the logic of vagueness
Some remarks on the logic of vagueness
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
Sur le schèma de la sèparation
Sur le schèma de la sèparation
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Fotografia
Fotografia
Carta de Nicola Grana para AIA
Carta de Nicola Grana para AIA
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Independência de axiomas
Independência de axiomas
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Termo de outorga
Termo de outorga
Termo de outorga e aceitação
Termo de outorga e aceitação
Aviso de recebimento de prestação de contas
Aviso de recebimento de prestação de contas
Recibo do CNPq
Recibo do CNPq
Carta de Ruth Barcan Marcus
Carta de Ruth Barcan Marcus
Results 211 to 240 of 269