- BR SPCLEARQ FAIA-C-Cp-IT332
- Item
- ? - 1976-05-25
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
2 resultados com objetos digitais Exibir resultados com objetos digitais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo II: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I - Introdução aos Conceitos Fundamentais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Some remarks on the logic of vagueness
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the relevant systems P and P* and some related systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur le schèma de la sèparation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Introduction: A Short History of the Latin American Logic Symposia
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Marek Palasinski para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Maria da Graça Rodrigues
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Oswaldo Porchat Pereira para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Paolo Bottura para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Paolo Bottura para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Decidibilidade do cálculo implicativo clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Várias axiomáticas para o cálculo proposicional clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Artigo cálculos proposicionais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Observações sobre um sistema sem a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Relevance Logic and the Schema of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda