Introduction à la logique formelle et symbolique — Jean Salem