- BR SPCLEARQ FAIA-Impr-IT550
- Item
- 1960-02
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
6 resultados com objetos digitais Exibir resultados com objetos digitais
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
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
Alcune osservazione sulle algebre cilindriche speciali
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda