Logique et mathématiques — Daniel Lacombe