Logiques construites par une methode de deduction naturelle. - Dopp, Joseph (Collection de logique mathematique. Ser. B, 1962)