Teoria de Conjuntos R e cálculos diversos
- BR SPCLEARQ FAIA-PIm-EL-IT438
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
20 resultados com objetos digitais Exibir resultados com objetos digitais
Teoria de Conjuntos R e cálculos diversos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo contendo demonstrações de vários teoremas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo contendo vários teoremas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Generalization of some results of Elie Sanchez
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une étude sémantique de quelques calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Considerações sobre os Sistemas Fomais NFn
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 the Imaginary Logic of N.A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certains hiérarchies de calculs de prédicats
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Le schéma de la separation et les calculs Tn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Transformadas no Cálculo Restrito de Predicados
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Wroctaw: Polish Academy of Sciences
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Propositional calculus for contradctory deductive systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Comutadores em Variedades de Mal'cev
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Introduction to a general theory of elementary porpositions
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Vibre com o roteiro turístico da vida, trabalho e do amor
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Campinas, bicentenário é turismo
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Curriculum vitae de Marc Krasner
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Curriculum vitae de George Metakides
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Curriculum vitae de Helena Rasiowa
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Curriculum vitae de Bruce Irwin Rose
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Curriculum vitae de Richard Routley
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda