Text this: Traite de logique general et de logique formelle /