Utente:Aviatorg/Sandbox
Vai alla navigazione
Vai alla ricerca
In Logica e in matematica il Linguaggio del secondo ordine è un'estensione del Linguaggio del primo ordine, che a sua volta è un'estensione della Logica proposizionale.[1] Il linguaggio del secondo ordine è a sua volta esteso dai Linguaggi di ordine superiore e dalla Teoria dei tipi.
- ^ Shapiro (1991) and Hinman (2005) give complete introductions to the subject, with full definitions.