TY - BOOK ID - 14219696 TI - Systeme de logique dedutive et inductive. : Des operations auxilliaires de l'induction : expose des principes de la preuve et des methodes de recherche scientifique PY - 2002 SN - 1554422175 PB - Chicoutimi : J.-M. Tremblay, DB - UniCat KW - Science KW - Methodology. UR - https://www.unicat.be/uniCat?func=search&query=sysid:14219696 AB - ER -