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