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