Visualizar impressão Fechar

Mostrando 346 resultados

Descrição arquivística
Ayda Ignez Arruda Português do Brasil
Visualizar impressão Visualizar:
Crescente

6 resultados com objetos digitais Exibir resultados com objetos digitais

O que é o Impa?
O que é o Impa?
Questioni di categoricita delle teorie matematiche
Questioni di categoricita delle teorie matematiche
Lukasiewicz and the Origins of Many-Valued Logic
Lukasiewicz and the Origins of Many-Valued Logic
Introduction to a general theory of elementary porpositions
Introduction to a general theory of elementary porpositions
On the concept of formalization and partially ordered quantifiers
On the concept of formalization and partially ordered quantifiers
On sequential modifications of applied predicate calculi
On sequential modifications of applied predicate calculi
Grundalagenprobleme Einer theorie der klinischen praxis
Grundalagenprobleme Einer theorie der klinischen praxis
Problemi di decisione per algebre comesse a logiche a più valori
Problemi di decisione per algebre comesse a logiche a più valori
Alcune osservazione sulle algebre cilindriche speciali
Alcune osservazione sulle algebre cilindriche speciali
Escola matemática polonesa
Escola matemática polonesa
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logical matrices strongly adequate for structural setential calculi
Logical matrices strongly adequate for structural setential calculi
Les logiques nouvelles et le champ de leur application
Les logiques nouvelles et le champ de leur application
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Exibindo 331-346 de 346 resultados