(Mohamed Boudiaf University of M'sila, 2024-11-05) Saadaoui, Kheir
The printed material covers lectures and exercises related to
topics outlined by the relevant ministry, featuring detailed and
in-depth explanations. It includes explanations of logical
vocabulary, types of proofs, and theories of sets. Propositional
Calculus, Predicate Calculus.