Print preview Close

Showing 407 results

Archival description
Ayda Ignez Arruda Brazilian Portuguese
Print preview View:

19 results with digital objects Show results with digital objects

A semantical study of some of vagueness logic
A semantical study of some of vagueness logic
Uma Questão de Lógica
Uma Questão de Lógica
Sur les systèmes Nfi de da Costa
Sur les systèmes Nfi de da Costa
Sur le syst¨¨me NF¦Ø
Sur le syst¨¨me NF¦Ø
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certains hiérarchies de calculs de prédicats
Sur certains hiérarchies de calculs de prédicats
Sur certains algèbres de classes non classiques
Sur certains algèbres de classes non classiques
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Remarques sur les systèmes Cn. C.R. Acad. Sc
Remarques sur les systèmes Cn. C.R. Acad. Sc
On the Postulate of Separation
On the Postulate of Separation
On the Imaginary Logic of N.A. Vasil'év
On the Imaginary Logic of N.A. Vasil'év
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
On Griss propositional calculus
On Griss propositional calculus
Le schéma de la séparation dans les systèmes NFn
Le schéma de la séparation dans les systèmes NFn
La mathématique classiques dans Nfw
La mathématique classiques dans Nfw
Considerações sobre os Sistemas Fomais NFn
Considerações sobre os Sistemas Fomais NFn
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
A Evolução do Método Axiomático
A Evolução do Método Axiomático
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Carta de W.W. Tait a Said Sidki
Carta de W.W. Tait a Said Sidki
Carta de W.W. Tait a Said Sidki
Carta de W.W. Tait a Said Sidki
Carta de recomendação de Weiner Krabs
Carta de recomendação de Weiner Krabs
Carta de recomendação de Weiner Krabs
Carta de recomendação de Weiner Krabs
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Results 151 to 180 of 407