- BR SPCLEARQ FAIA-PIm-EL-IT409
- Item
Part of Ayda Ignez Arruda
Untitled
2 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Untitled
Capítulo II - Teoria de conjuntos An
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Part of Ayda Ignez Arruda
Untitled
Teoria de Conjuntos R e cálculos diversos
Part of Ayda Ignez Arruda
Untitled
Estudo contendo demonstrações de vários teoremas
Part of Ayda Ignez Arruda
Untitled
Estudo contendo vários teoremas
Part of Ayda Ignez Arruda
Untitled
Le schéma de la separation et les calculs Tn
Part of Ayda Ignez Arruda
Untitled
Transformadas no Cálculo Restrito de Predicados
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
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Sistemas formais inconsistentes e teorias de conjuntos
Part of Ayda Ignez Arruda
Untitled
Sobre Certos Sistemas de Lógica Relevante
Part of Ayda Ignez Arruda
Untitled
Teorema de Completude para teorias de primeira ordem
Part of Ayda Ignez Arruda
Untitled