Logiques construites par une méthode de déduction naturelleJoseph Dopp · First published 1962Open the Tome