Mostrando 346 resultados

Descripción archivística
Ayda Ignez Arruda Portugués de Brasil
Imprimir vista previa Ver :
Clasificación en orden ascendente

6 resultados con objetos digitales Muestra los resultados con objetos digitales

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
Resultados 331 a 346 de 346