Notions de logique formelle - Dopp, Joseph (Cabay, 1980)