Description
177 nouvelles énigmes mathématiques (2021) Cantor la logique et les langages la logique et les langages de preuve formelle À travers dix contes malicieux et accessibles en passant par « Mon frère » De la « Girafe de Charles X » à la « Gare de Saint Firmin des Champs »