Text this: Logiques construites par une methode de deduction naturelle.