^^
Logica dei predicati. Logica del 1° ordine.
ing:
Predicate logic ≡ first-order logic FOL ≡ quantificational logic
Links
book
Introduction to formal logic. Book by Peter Smith.
wp/
First-order_logic
todd_trimble/Notes+on+predicate+logic