# This file is automatically generated by Modtool 3.37.
# Do not edit by hand.

title=DOC Raisonnements
description=une introduction.
language=fr
category=document
domain=logic
level=U1,U2
keywords=quantificateur, recurrence, raisonnement,contraposee, equivalence, implication
require=
scoring=no
copyright=&copy; 2004- (<a href=COPYING>GNU GPL</a>) 2004
author=Marie-Claude David et Bernadette PERRIN-RIOU
address=bpr@math.u-psud.fr
version=1.11
wims_version=3.45a
vardef=docu/var.def
translator=
translator_address=

