La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
- BR SPCLEARQ FAIA-Impr-IT544
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Comutadores em Variedades de Mal'cev
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Un principio di riflessione nella teoria delle classi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the principle of contradiction in Aristotle
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logique sans igalité et (k,p)-quasivalence
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A partial comparison of two conditions on the intersections of regressive sets
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Questioni di categoricita delle teorie matematiche
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Lukasiewicz and the Origins of Many-Valued Logic
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
On the concept of formalization and partially ordered quantifiers
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On sequential modifications of applied predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Grundalagenprobleme Einer theorie der klinischen praxis
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Problemi di decisione per algebre comesse a logiche a più valori
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Educação, Pesquisa e Administração Universitária
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Alcune osservazione sulle algebre cilindriche speciali
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Programa Simpósio Latino-Americano de Lógica Matemática
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
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
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logical matrices strongly adequate for structural setential calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Les logiques nouvelles et le champ de leur application
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Produção Intelectual Manuscrita
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Álgebras de conjuntos não-clássicas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda