Logique mathématique, Jean-François Pabion · Super Livre