Mostrando 39 resultados

Descrição arquivística
Ayda Ignez Arruda Europa Português do Brasil
Visualizar impressão Visualizar:
Remarques sur le système NF1
Remarques sur le système NF1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
The set of quantifiers of an atomic Boolean algebra
The set of quantifiers of an atomic Boolean algebra
International Congress on Logical Mathematic and Philosophy of Science
International Congress on Logical Mathematic and Philosophy of Science
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
Un principio di riflessione nella teoria delle classi
Un principio di riflessione nella teoria delle classi
Logique sans igalité et (k,p)-quasivalence
Logique sans igalité et (k,p)-quasivalence
Lukasiewicz and the Origins of Many-Valued Logic
Lukasiewicz and the Origins of Many-Valued Logic
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
Resultados 31 até 39 de 39