- BR SPCLEARQ FAIA-Impr-IT550
- Item
- 1960-02
Part of Ayda Ignez Arruda
Untitled
6 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Untitled
Questioni di categoricita delle teorie matematiche
Part of Ayda Ignez Arruda
Untitled
Lukasiewicz and the Origins of Many-Valued Logic
Part of Ayda Ignez Arruda
Untitled
Introduction to a general theory of elementary porpositions
Part of Ayda Ignez Arruda
Untitled
On the concept of formalization and partially ordered quantifiers
Part of Ayda Ignez Arruda
Untitled
On sequential modifications of applied predicate calculi
Part of Ayda Ignez Arruda
Untitled
Grundalagenprobleme Einer theorie der klinischen praxis
Part of Ayda Ignez Arruda
Untitled
Problemi di decisione per algebre comesse a logiche a più valori
Part of Ayda Ignez Arruda
Untitled
Alcune osservazione sulle algebre cilindriche speciali
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Part of Ayda Ignez Arruda
Untitled
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Part of Ayda Ignez Arruda
Untitled
Logical matrices strongly adequate for structural setential calculi
Part of Ayda Ignez Arruda
Untitled
Les logiques nouvelles et le champ de leur application
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled