Logique et mathématiques, Daniel Lacombe · Super Livre