TY  - BOOK
AU  - Desclès,Jean-Pierre
AU  - Djioua,Brahim
AU  - Le Priol,Florence
TI  - Logique et langage: déduction naturelle 
SN  - 978-2-7056-6925-6
U1  - 511.3160 21E
PY  - 2010///
CY  - [Paris]
PB  - Hermann
N1  - La couv. indique un "CD-Rom gratuit", qui ne figure pas dans le document, mais doit être commandé séparément; La couv. porte en plus : "Cours d'initiation à la logique"
ER  -