- BR SPCLEARQ FAIA-PIm-CP-IT394
- Item
Part of Ayda Ignez Arruda
Untitled
10 results with digital objects Show results with digital objects
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
Part of Ayda Ignez Arruda
Untitled
Notas para a História da Lógica, História, e Variedades da Lógica
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Teorias Recursivas, Creativas y Productivas
Part of Ayda Ignez Arruda
Untitled
Rehabilitating Meinong’s Theory of Objects
Part of Ayda Ignez Arruda
Untitled
O ponto de vista lógico de N.A. Vasil’év
Part of Ayda Ignez Arruda
Untitled
Relatório de Joseph Donald Sneed
Part of Ayda Ignez Arruda
Untitled
Matemática "moderna": Um erro educacional e filosófico?
Part of Ayda Ignez Arruda
Untitled
Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído
Part of Ayda Ignez Arruda
Untitled
Notas de aula de Ryszard Wojcicki
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
A Evolução do Método Axiomático
Part of Ayda Ignez Arruda
Untitled
A survey of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
Part of Ayda Ignez Arruda
Untitled
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Part of Ayda Ignez Arruda
Untitled
Sur certains algèbres de classes non classiques
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled