Higher-order logic. Normal form. Predicates. Conjunctive normal form. Disjunctive normal form.

Code produit:
1837898199