bn:02772050n
Noun Concept
IT
logica del secondo ordine  secondo ordine logico
EN
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Wikipedia
Relations
Sources