Sur certains hiérarchies de calculs de prédicats
- BR SPCLEARQ FAIA-Impr-IT485
- Item
- 1969-03-24
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
16 resultados com objetos digitais Exibir resultados com objetos digitais
Sur certains hiérarchies de calculs de prédicats
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certains algèbres de classes non classiques
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Remarques sur les systèmes Cn. C.R. Acad. Sc
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Postulate of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On Griss propositional calculus
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Le schéma de la séparation dans les systèmes NFn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
La mathématique classiques dans Nfw
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Considerações sobre os Sistemas Fomais NFn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Evolução do Método Axiomático
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte de Ayda Ignez Arruda
Carta de W.W. Tait a Said Sidki
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de W.W. Tait a Said Sidki
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de recomendação de Weiner Krabs
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de recomendação de Weiner Krabs
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda