Le logique paraconsistante

Newton C. A. da COSTA, Jean-Yves BÉZIAU

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999