Abrégé de logique formelle — Louis Marie Mauran