@book{lebarbenchon:hal-04047968,
TITLE = {Logique : fondements et applications Cours et exercices corrig{\'e}s},
AUTHOR = {Le Barbenchon, Pierre and Pinchinat, Sophie and Schwarzentruber, Francois},
URL = {https://hal.science/hal-04047968},
EDITOR = {Dunod},
YEAR = {2022},
HAL_ID = {hal-04047968},
HAL_VERSION = {v1},
}