Thomas Raymond Introduction aux fondement théoriques et méthodes logique - Paris 1986 Subjects--Index Terms: introduction théorique