Les fondements de la logique symbolique — Thomas Greenwood