TY - BOOK AU - Thomas Raymond TI - Introduction aux fondement théoriques et méthodes logique PY - 1986/// CY - Paris KW - introduction KW - théorique ER -