Logiques construites par une méthode de déduction naturelle - Dopp, Joseph (Nauwelaerts [u.a.], 1962)