- BR SPCLEARQ FAIA-Impr-IT525
- Item
- 1971-05
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Untitled
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
The set of quantifiers of an atomic Boolean algebra
Part of Ayda Ignez Arruda
Untitled
International Congress on Logical Mathematic and Philosophy of Science
Part of Ayda Ignez Arruda
Untitled
Vasil’év and the development of Many-valued logic
Part of Ayda Ignez Arruda
Untitled
Un principio di riflessione nella teoria delle classi
Part of Ayda Ignez Arruda
Untitled
Logique sans igalité et (k,p)-quasivalence
Part of Ayda Ignez Arruda
Untitled
Lukasiewicz and the Origins of Many-Valued Logic
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