TY - BOOK AU - Delessert, Andre TI - Introduction a la logique PY - 1988/// CY - Lausanne PB - Presses polytechniques et universitaires romandes ER -