La page Logic est en cours d'amélioration. Si vous avez des suggestions, laissez un message ( theoremeblog AT gmail DOT com ).