Title: Introduction à la logique standard
First published: September 11, 2001