LE RALLYE MATHS 92 - Blog Ac Versailles

The purpose of this booklet is to give you a number of exercises on proposi- tional, first order and modal logics to complement the topics and exercises.