bn:03369248n
Noun Concept
Categories: Logica
IT
logica di ordine superiore
IT
In matematica e logica, una logica di ordine superiore è una forma di logica dei predicati che si distingue dalla logica del primo ordine da quantificatori aggiuntivi. Wikipedia
Definitions
Relations
Sources
IT
In matematica e logica, una logica di ordine superiore è una forma di logica dei predicati che si distingue dalla logica del primo ordine da quantificatori aggiuntivi. Wikipedia
Wikipedia Translations