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
Remarques sur le système NF1
Remarques sur le système NF1
Remarques sur les systèmes Cn. C.R. Acad. Sc
Remarques sur les systèmes Cn. C.R. Acad. Sc
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certains algèbres de classes non classiques
Sur certains algèbres de classes non classiques
Sur certains hiérarchies de calculs de prédicats
Sur certains hiérarchies de calculs de prédicats
Sur le syst¨¨me NF¦Ø
Sur le syst¨¨me NF¦Ø
Sur les systèmes Nfi de da Costa
Sur les systèmes Nfi de da Costa
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
The set of quantifiers of an atomic Boolean algebra
The set of quantifiers of an atomic Boolean algebra
Un principio di riflessione nella teoria delle classi
Un principio di riflessione nella teoria delle classi
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
Wroctaw: Polish Academy of Sciences
Wroctaw: Polish Academy of Sciences
